|
|

avaa valikko

Michael G Hinchey | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 10 tuotetta
Haluatko tarkentaa hakukriteerejä?



Hinchey, Michael G.; Bowen, Jonathan P.
Springer London Ltd
1999
Pehmeäkantinen kirja
Industrial-Strength Formal Methods in Practice
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
174,50 €
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
Innovative Concepts for Autonomic and Agent-Based Systems - Second International Workshop on Radical Agent Concepts, WRAC 2005,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
66,60 €
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
Formal Approaches to Agent-Based Systems - Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, R
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
66,60 €
Hinchey, Michael G.; Rash, James L.; Truszkowski, Walter F.; Rouff, Christopher A.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja
Formal Approaches to Agent-Based Systems - Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised S
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
66,60 €
Bowen, Jonathan P.; Hinchey, Michael G.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1995
Pehmeäkantinen kirja
ZUM '95: The Z Formal Specification Notation - 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
131,50 €
Bowen, Jonathan P.; Fett, Andreas; Hinchey, Michael G.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1998
Pehmeäkantinen kirja
ZUM '98: The Z Formal Specification Notation - 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
66,60 €
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
Formal Approaches to Agent-Based Systems - First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
66,60 €
Bowen, Jonathan P.; Hinchey, Michael G.; Till, David
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1997
Pehmeäkantinen kirja
ZUM'97: The Z Formal Specification Notation - 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedin
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
66,60 €
Butler, Michael; Hinchey, Michael G.; Larrondo-Petrie, Maria M.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja
Formal Methods and Software Engineering - 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Fl
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
66,60 €
Bowen, Jonathan P.; Hinchey, Michael G.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1999
Pehmeäkantinen kirja
High-Integrity System Specification and Design
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
66,60 €

Näytä lisää...