Werner Stephan – författare
Visar alla böcker från författaren Werner Stephan. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Security in Pervasive Computing
First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers
Häftad, Engelska, 2004
719 kr
Skickas inom 10-15 vardagar
Mechanizing Mathematical Reasoning
Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Häftad, Engelska, 2005
1 419 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
Häftad, Engelska, 1999
719 kr
Skickas inom 10-15 vardagar