Werner Stephan - Böcker

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

3 produkter

Kategorier

3 produkter

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, Engelska, 2004

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2005

1 409 kr

Skickas inom 10-15 vardagar

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, Engelska, 1999

729 kr

Skickas inom 10-15 vardagar