Catalogo · 9783540698500
25 Years of Model Checking
ISBN 9783540698500
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 History Achievements Perspectives
Orna Grumberg
Verba volant · scripta manent