Wolfgang Naraschewski – författare

Visar alla böcker från författaren Wolfgang Naraschewski.

1 produkter

1. 

   Types for Proofs and Programs

   International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers

   Av Thorsten Altenkirch, Wolfgang Naraschewski m. fl.

   Häftad, 1999

   729 kr

   Lägg i varukorg