Catalogo · 9783540752202
Formal methods and hybrid real-time systems
ISBN 9783540752202
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Logics of specification languages
D. Bjørner, Martin C. Henson
The Vienna development method
D. Bjørner, Jones, C. B.
Formal methods in programming and their applications
D. Bjørner, M. Broy
Baltic computer science
D. Bjørner
Towards a formal description of Ada
D. Bjørner
Towards a Formal Description of Ada (Lecture Notes in Computer Science)
D. Bjørner
Software engineering
D. Bjørner
Perspectives of system informatics
D. Bjørner, M. Broy
Formal specification and software development
D. Bjørner
Domain engineering
D. Bjørner
Dostoevsky and Kant
Evgenia Cherkasova
Letters from a Stoic
Seneca the Younger
Verba volant · scripta manent