Catalogo · 9783540698494
25 Years Of Model Checking History Achievements Perspectives
ISBN 9783540698494
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Model checking
Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled
Tools and Algorithms for the Construction and Analysis of Systems
Orna Grumberg, Michael Huth
Model Checking, Second Edition
Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke
Languages : from Formal to Natural
Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner
Languages From Formal to Natural
Lecture Notes in Computer Science
Orna Grumberg
Computer Aided Verification
Orna Grumberg
25 Years of Model Checking
Orna Grumberg, Helmut Veith
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
Verba volant · scripta manent