Catalogo · 9783642017483
Languages : from Formal to Natural
ISBN 9783642017483
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
Lecture Notes in Computer Science
Orna Grumberg
Computer Aided Verification
Orna Grumberg
25 Years of Model Checking
Orna Grumberg, Helmut Veith
25 Years Of Model Checking History Achievements Perspectives
Orna Grumberg
Verba volant · scripta manent