Wolfgang Naraschewski – författare

Visar alla böcker från författaren Wolfgang Naraschewski. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Types for Proofs and Programs

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

   Av Bernhard Reus, Wolfgang Naraschewski m. fl.

   E-bok, 2003

   734 kr

   Lägg i varukorg

2. 

   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

   568 kr

   Lägg i varukorg

   Thisbookcontainsaselectionofpaperspresentedatthesecondannualworkshop heldundertheauspicesoftheEspritWorkingGroup21900Types. Theworkshop tookplaceinIrsee,Germany,from27to31ofMarch1998andwasattendedby 89researchers. Ofthe25submissions,14wereselectedforpublicationafteraregularref- eeingprocess. …