Catalogo · 9780387573168
Formal methods in programming and their applications
ISBN 9780387573168
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 and hybrid real-time systems
D. Bjørner, Jones, C. B., Jim Woodcock
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