Catalogo · 9780387541310
Baltic computer science
ISBN 9780387541310
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
Formal methods and hybrid real-time systems
D. Bjørner, Jones, C. B., Jim Woodcock
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