Catalogo · 9783540482574
Applied formal methods--FM-Trends 98
ISBN 9783540482574
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Rippling
Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland
Security in pervasive computing
Dieter Hutter, Günter Müller, Werner Stephan
Mechanizing mathematical reasoning
Jörg H. Siekmann, Dieter Hutter, Werner Stephan
Verhandlungstechnik bei steuerlichen Betriebsprüfungen. Verhandeln im Dienste der Betriebsprüfung.
Ernst Schmäche, Dieter Hutter
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland
Dostoevsky and Kant
Evgenia Cherkasova
Letters from a Stoic
Seneca the Younger
The Correspondence
J. D. Daniels
The picnic gourmet
Joan Hemingway
Filosofia dell'arredamento
Mario Praz
CHINA Portrait of a People
Tom Carter
Biofabrication
Ritu Raman
Verba volant · scripta manent