Catalogo · 9783540762263
High-integrity system specification and design
ISBN 9783540762263
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Custom and Commercialisation in English Rural Society
A. T. Brown, J. P. Bowen
Formal methods
Paul Boca, J. P. Bowen, J. I. Siddiqi
Z User Workshop, Cambridge 1994
J. P. Bowen
Z User Workshop, London 1992
J. P. Bowen
Formal methods and testing
Robert M. Hierons, J. P. Bowen, Mark Harman
Towards verified systems
J. P. Bowen
Applications of formal methods
Michael G. Hinchey, J. P. Bowen
Industrial-strength formal methods in practice
Michael G. Hinchey, J. P. Bowen
Verba volant · scripta manent