Catalogo · 9780262026499
Principles of model checking
ISBN 9780262026499
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Foundations of Software Science and Computation Structures
Christel Baier, Ugo Dal Lago
Validation of stochastic systems
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
Tools and Algorithms for the Construction and Analysis of Systems
Christel Baier, Cesare Tinelli
SOFSEM 2017 : Theory and Practice of Computer Science
Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria
Formal Techniques for Distributed Objects, Components, and Systems
Christel Baier, Luís Caires
CONCUR 2006 - Concurrency Theory
Christel Baier, Holger Hermanns
Verba volant · scripta manent