Werner Stephan - Böcker

Visar alla böcker från författaren Werner Stephan.
3 produkter
Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann - Security in Pervasive Computing, Häftad
Del 2802 - Lecture Notes in Computer Science

Security in Pervasive Computing

Av Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann

Häftad, Engelska, 2004

739 kr

Skickas inom 7-10 vardagar
Dieter Hutter, Werner Stephan - Mechanizing Mathematical Reasoning, Häftad

Mechanizing Mathematical Reasoning

Av Dieter Hutter, Werner Stephan

Häftad, Engelska, 2005

1 459 kr

Skickas inom 7-10 vardagar
Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann - Applied Formal Methods - FM-Trends 98, Häftad
Del 1641 - Lecture Notes in Computer Science

Applied Formal Methods - FM-Trends 98

Av Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann

Häftad, Engelska, 1999

739 kr

Skickas inom 7-10 vardagar