Raamatud Michael G. Hinchey
High-Integrity System Specification and Design
Jonathan P. Bowen, Michael G. Hinchey
-30% koodiga BOOKS
Meie tarnija laos
Requirements to Design to Code Towards a Fully Formal Approach to Automatic Code Generation
Michael G. Hinchey, Nasa Technical Reports Server (Ntrs), Et Al
-30% koodiga BOOKS
Meie tarnija laos
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
-30% koodiga BOOKS
Meie tarnija laos