Michael G Hinchey | Akateeminen Kirjakauppa

Industrial-Strength Formal Methods in Practice

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

174,50 €

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

66,60 €

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

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

66,60 €

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

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

66,60 €

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

Bowen, Jonathan P.; Hinchey, Michael G.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1995
Pehmeäkantinen kirja

131,50 €

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

Bowen, Jonathan P.; Fett, Andreas; Hinchey, Michael G.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1998
Pehmeäkantinen kirja

66,60 €

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

66,60 €

ZUM'97: The Z Formal Specification Notation - 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedin

Bowen, Jonathan P.; Hinchey, Michael G.; Till, David
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1997
Pehmeäkantinen kirja

66,60 €

Formal Methods and Software Engineering - 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Fl

Butler, Michael; Hinchey, Michael G.; Larrondo-Petrie, Maria M.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

66,60 €

High-Integrity System Specification and Design

Bowen, Jonathan P.; Hinchey, Michael G.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1999
Pehmeäkantinen kirja

66,60 €