Books by Michael G. Hinchey
High-Integrity System Specification and Design
Jonathan P. Bowen, Michael G. Hinchey
-20% with code BOOKS
In stock at our supplier
Requirements to Design to Code Towards a Fully Formal Approach to Automatic Code Generation
Michael G. Hinchey, Nasa Technical Reports Server (Ntrs), Et Al
-20% with code BOOKS
In stock at our supplier
Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie
-20% with code BOOKS
In stock at our supplier