Hoppa till sidans huvudinnehåll

Michael G. Hinchey – författare

Visar alla böcker från författaren .
10 produkter
Michael G. Hinchey, Jonathan P. Bowen - Industrial-Strength Formal Methods in Practice, Häftad

Industrial-Strength Formal Methods in Practice

AvMichael G. Hinchey,Jonathan P. Bowen

Häftad, Engelska, 1999

2 169 kr

Skickas inom 10-15 vardagar

Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff - Formal Approaches to Agent-Based Systems, Häftad

Formal Approaches to Agent-Based Systems

Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

AvMichael G. Hinchey,James L. Rashm. fl.

Häftad, Engelska, 2005

729 kr

Skickas inom 10-15 vardagar

Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears - Formal Approaches to Agent-Based Systems, Häftad

Formal Approaches to Agent-Based Systems

Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers

AvMichael G. Hinchey,James L. Rashm. fl.

Häftad, Engelska, 2003

709 kr

Skickas inom 10-15 vardagar

James L. Rash, Christopher A. Rouff, Walter Truszkowski, Diana Gordon, Michael G. Hinchey - Formal Approaches to Agent-Based Systems, Häftad

Formal Approaches to Agent-Based Systems

First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers

AvJames L. Rash,Christopher A. Rouffm. fl.

Häftad, Engelska, 2001

729 kr

Skickas inom 10-15 vardagar

Jonathan P. Bowen, Michael G. Hinchey - ZUM '95: The Z Formal Specification Notation, Häftad

ZUM '95: The Z Formal Specification Notation

9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

AvJonathan P. Bowen,Michael G. Hinchey

Häftad, Engelska, 1995

1 449 kr

Skickas inom 10-15 vardagar

Jonathan P. Bowen, Michael G. Hinchey, David Till - ZUM'97: The Z Formal Specification Notation, Häftad

ZUM'97: The Z Formal Specification Notation

10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

AvJonathan P. Bowen,Michael G. Hincheym. fl.

Häftad, Engelska, 1997

729 kr

Skickas inom 10-15 vardagar

Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey - ZUM '98: The Z Formal Specification Notation, Häftad

ZUM '98: The Z Formal Specification Notation

11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

AvJonathan P. Bowen,Andreas Fettm. fl.

Häftad, Engelska, 1998

729 kr

Skickas inom 10-15 vardagar

Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Walt Truszkowski - Innovative Concepts for Autonomic and Agent-Based Systems, Häftad

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

AvMichael G. Hinchey,Patricia Ragom. fl.

Häftad, Engelska, 2006

729 kr

Skickas inom 10-15 vardagar

Jonathan P. Bowen, Michael G. Hinchey - High-Integrity System Specification and Design, Häftad

High-Integrity System Specification and Design

AvJonathan P. Bowen,Michael G. Hinchey

Häftad, Engelska, 1999

729 kr

Skickas inom 10-15 vardagar

Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie - Formal Methods and Software Engineering, Häftad

Formal Methods and Software Engineering

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

AvMichael Butler,Michael G. Hincheym. fl.

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar