Michael G. Hinchey – författare
Visar alla böcker från författaren Michael G. Hinchey.
10 produkter
Industrial-Strength Formal Methods in Practice
Av Michael G. Hinchey, Jonathan P. Bowen
Häftad, 1999
2169 kr
Lägg i varukorg
Formal Approaches to Agent-Based Systems
Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers
Av Michael G. Hinchey, James L. Rash m. fl.
Häftad, 2005
729 kr
Lägg i varukorg
Formal Approaches to Agent-Based Systems
Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers
Av Michael G. Hinchey, James L. Rash m. fl.
Häftad, 2003
709 kr
Lägg i varukorg
Formal Approaches to Agent-Based Systems
First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers
Av James L. Rash, Christopher A. Rouff m. fl.
Häftad, 2001
729 kr
Lägg i varukorg
ZUM '95: The Z Formal Specification Notation
9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
Av Jonathan P. Bowen, Michael G. Hinchey
Häftad, 1995
1449 kr
Lägg i varukorg
ZUM'97: The Z Formal Specification Notation
10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings
Av Jonathan P. Bowen, Michael G. Hinchey m. fl.
Häftad, 1997
729 kr
Lägg i varukorg
ZUM '98: The Z Formal Specification Notation
11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
Av Jonathan P. Bowen, Andreas Fett m. fl.
Häftad, 1998
729 kr
Lägg i varukorg
Innovative Concepts for Autonomic and Agent-Based Systems
Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers
Av Michael G. Hinchey, Patricia Rago m. fl.
Häftad, 2006
729 kr
Lägg i varukorg
High-Integrity System Specification and Design
Av Jonathan P. Bowen, Michael G. Hinchey
Häftad, 1999
729 kr
Lägg i varukorg
Formal Methods and Software Engineering
9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
Av Michael Butler, Michael G. Hinchey m. fl.
Häftad, 2007
729 kr
Lägg i varukorg