Catalogo · 9780444899019
Towards verified systems
ISBN 9780444899019
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
High-integrity system specification and design
J. P. Bowen, Michael G. Hinchey
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