Dieter Hutter

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

1. 

   Security in Pervasive Computing

   2004

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

   Mechanizing Mathematical Reasoning

   2005

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

   Rippling: Meta-Level Guidance for Mathematical Reasoning

   2005

   • Inbunden 1905 kr
4. 

   Applied Formal Methods - FM-Trends 98

   2007

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

   Security in Pervasive Computing

   2004

   • E-bok 739 kr