It looks like you're offline.

Last edited by MARC Bot

July 1, 2019 | History

Edit

Michael G. Hinchey

We need a photo of Michael G. Hinchey

7 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by Michael G. Hinchey, James L. Rash, and Christopher Rouff First published in 2003 — 4 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Preview

Preview Book
×Close

Teaching and Learning Formal Methods (Library and Information Science)

by C. Neville Dean and Michael G. Hinchey First published in 1996 — 2 editions
Borrow

Listen

Locate
My Reading Lists:

Create a new list
ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (Lecture Notes in Computer Science)

by Jonathan P. Bowen and Michael G. Hinchey First published in 1998 — 1 edition

Locate

My Reading Lists:

Create a new list
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

by Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, and Walt Truszkowski First published in 2006 — 1 edition

Locate

My Reading Lists:

Create a new list
ZUM '98 : the Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

by Jonathan P. Bowen, Andreas Fett, and Michael G. Hinchey First published in 2011 — 1 edition

Locate

My Reading Lists:

Create a new list
Industrial-Strength Formal Methods in Practice

by Michael G. Hinchey First published in 1999 — 1 edition

Locate

My Reading Lists:

Create a new list
Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers (Lecture Notes in Computer Science)

by James L. Rash, Diana Gordon, and Michael G. Hinchey First published in 2001 — 1 edition

Locate

My Reading Lists:

Create a new list

We need a photo of Michael G. Hinchey

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL7562989A

Links outside Open Library

No links yet. Add one?

Download catalog record: RDF / JSON