Catalogo · 9784903092171
Domain engineering
ISBN 9784903092171
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
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
Verba volant · scripta manent