Werner Stephan

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

1. 

   Mechanizing Mathematical Reasoning

   2005

   • Häftad 1144 kr
   • E-bok 1427 kr
2. 

   Security in Pervasive Computing

   2004

   • Häftad 576 kr
3. 

   Applied Formal Methods - FM-Trends 98

   2007

   • E-bok 739 kr
   • Häftad 576 kr
4. 

   Security in Pervasive Computing

   2004

   • E-bok 739 kr