Werner Stephan – författare

Visar alla böcker från författaren Werner Stephan.

3 produkter

1. 

   Security in Pervasive Computing

   First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers

   Av Dieter Hutter, Günter Müller m. fl.

   Häftad, 2004

   729 kr

   Lägg i varukorg

2. 

   Mechanizing Mathematical Reasoning

   Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

   Av Dieter Hutter, Werner Stephan

   Häftad, 2005

   1449 kr

   Lägg i varukorg

3. 

   Applied Formal Methods - FM-Trends 98

   International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings

   Av Dieter Hutter, Werner Stephan m. fl.

   Häftad, 1999

   729 kr

   Lägg i varukorg