Michael G Hinchey

Industrial-Strength Formal Methods in Practice

Hinchey, Michael G.; Bowen, Jonathan P.
Springer London Ltd
1999
Pehmeäkantinen kirja

137,30 €

Innovative Concepts for Autonomic and Agent-Based Systems - Second International Workshop on Radical Agent Concepts, WRAC 2005,

Hinchey, Michael G.; Rago, Patricia; Rash, James L.; Rouff, Christopher A.; Truszkowski, Walt
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja

51,10 €

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

Hinchey, Michael G.; Rash, James L.; Truszkowski, Walter F.; Rouff, Christopher; Gordon-Spears, Diana
Springer
2003
Pehmeäkantinen kirja

51,10 €

Formal Approaches to Agent-Based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004,

Hinchey, Michael G.; Rash, James L.; Truszkowski, Walter F.; Rouff, Christopher A.
Springer
2005
Pehmeäkantinen kirja

51,10 €

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

Bowen, Jonathan P.; Hinchey, Michael G.
Springer
1995
Pehmeäkantinen kirja

100,90 €

ZUM '98: The Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26,

Bowen, Jonathan P.; Fett, Andreas; Hinchey, Michael G.
Springer
1998
Pehmeäkantinen kirja

51,10 €

Formal Approaches to Agent-Based Systems - First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised

Rash, James L.; Rouff, Christopher A.; Truszkowski, Walter; Gordon, Diana; Hinchey, Michael G.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2001
Pehmeäkantinen kirja