Michael G. Hinchey

High-Integrity System Specification and Design (Formal Approaches to Computing and Information Technology)

Michael G. Hinchey

$60.57

Teaching and Learning Formal Methods (Library and Information Science)

Michael G. Hinchey

$25.29

ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

Michael G. Hinchey

$109.99

Concurrent Systems: Formal Development in Csp (The Mcgraw-Hill International Series in Software Engineering)

Michael G. Hinchey

$7.29

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation

Michael G. Hinchey

$13.05

Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))

Michael G. Hinchey

$19.69 - $169.99

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence)

Michael G. Hinchey

$59.78