Catalogo · 9780387551791
Computer Aided Verification: 3rd International Workshop, Cav 92
ISBN 9780387551791
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Models, Mindsets, Meta : The What, the How, and the Why Not?
Tiziana Margaria, Susanne Graf, Kim G. Larsen
Formal Modeling and Analysis of Timed Systems
Kim G. Larsen, Peter Niebert
CONCUR 2001 - Concurrency Theory
Kim G. Larsen, Mogens Nielsen
Automata, Languages and Programming
Kim G. Larsen, Sven Skyum, Glynn Winskel, Gerhard Goos, Juris Hartmanis
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
Bible
Bible
Verba volant · scripta manent