You are here: Home › Author › Michael G. Hinchey
Michael G. Hinchey

Michael G. Hinchey

21 books

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

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

by Jonathan P. Bowen

3.50 of 2

Applications of Formal Methods

Applications of Formal Methods

by Jonathan Bowen

5.00 of 1

ZUM'97: The Z Formal Specification Notation

ZUM'97: The Z Formal Specification Notation

by Jonathan Bowen

5.00 of 1

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings (Lecture Notes in Computer Science, 967)

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings (Lecture Notes in Computer Science, 967)

by Jonathan P. Bowen

5.00 of 1

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November ... (Lecture Notes in Computer Science, 4789)

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November ... (Lecture Notes in Computer Science, 4789)

by Michael G. Hinchey

4.00 of 1

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

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

by Michael G. Hinchey

3.00 of 1

Functional Programming With Haskell

Functional Programming With Haskell

by Michael G. Hinchey

0.0 of 0

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers (Lecture Notes in Computer Science Book 3228)

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers (Lecture Notes in Computer Science Book 3228)

by Michael G. Hinchey

0.0 of 0

Power Provision Based on Self-Sacrificing Craft

Power Provision Based on Self-Sacrificing Craft

by Michael G. Hinchey

0.0 of 0

Formal Approaches to Agent-Based Systems

Formal Approaches to Agent-Based Systems

by Michael G. Hinchey

0.0 of 0

Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers

Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers

by Michael G. Hinchey

0.0 of 0

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

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

by Michael G. Hinchey

0.0 of 0

Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, ... (Lecture Notes in Computer Science, 3825)

Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, ... (Lecture Notes in Computer Science, 3825)

by Michael G. Hinchey

0.0 of 0

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

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

by Michael G. Hinchey

0.0 of 0

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3228)

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3228)

by Michael G. Hinchey

0.0 of 0

Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers (Lecture Notes in Computer Science, 2699)

Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers (Lecture Notes in Computer Science, 2699)

by Michael G. Hinchey

0.0 of 0

Teaching and Learning Formal Methods

Teaching and Learning Formal Methods

by C. Neville Dean

0.0 of 0

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

by Michael Butler

0.0 of 0