MPG.eBooks - Author Search Results

Cover Image

1

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

by Hinchey, Michael G
Published 2003

Springer Berlin Heidelberg

Cover Image

2

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

by Hinchey, Michael G
Published 2004

Springer-Verlag Berlin/Heidelberg

Cover Image

3

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

by Hinchey, Michael G
Published 2004

Springer-Verlag Berlin/Heidelberg

Cover Image

4

High-Integrity System Specification and Design

by Bowen, Jonathan P., Hinchey, Michael G.
Published 1999

Springer London

Cover Image

5

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

by Bowen, Jonathan P
Published 1997

Springer Berlin Heidelberg

Other Authors: “...Hinchey, Michael G...”

Cover Image

6

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

by Bowen, Jonathan P
Published 1998

Springer Berlin Heidelberg

Other Authors: “...Hinchey, Michael G...”

Cover Image

7

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

Published 1995

Springer Berlin Heidelberg

Other Authors: “...Hinchey, Michael G....”

Cover Image

8

Industrial-Strength Formal Methods in Practice

Published 1999

Springer London

Other Authors: “...Hinchey, Michael G....”

Cover Image

9

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

Published 1997

Springer Berlin Heidelberg

Other Authors: “...Hinchey, Michael G....”

Cover Image

10

Formal Approaches to Agent-Based Systems : First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers

by Rash, James L
Published 2001

Springer-Verlag Berlin Heidelberg

Other Authors: “...Hinchey, Michael G...”

Cover Image

11

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

Published 1998

Springer Berlin Heidelberg

Other Authors: “...Hinchey, Michael G....”

Cover Image

12

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

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Hinchey, Michael G....”

Cover Image

13

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 P...

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Hinchey, Michael G....”

Cover Image

14

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

Published 2003

Springer Berlin Heidelberg

Other Authors: “...Hinchey, Michael G....”

Cover Image

15

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

Published 2005

Springer Berlin Heidelberg

Other Authors: “...Hinchey, Michael G....”