Buy Used and New Michael G. Hinchey Books

Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))

by Michael G. Hinchey

ISBN 13: 9781852336400

Format: Illustrated (420 pages)
Publisher: Springer
Published: 17 Sep 1999

Save for later

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

by Jonathan P. Bowen,Andreas Fett,Michael G. Hinchey

ISBN 13: 9783540650706

Format: Paperback (440 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings: 1212 (Lecture Notes in Computer Science)

by Jonathan P. Bowen,David Till,Michael G. Hinchey

ISBN 13: 9783540627173

Format: Paperback (452 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings: 967 (Lecture Notes in Computer Science)

by Jonathan P. Bowen,Michael G. Hinchey

ISBN 13: 9783540602712

Format: Paperback (596 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, ... 3825 (Lecture Notes in Computer Science)

by Walt Truszkowski,Roy Sterritt,Michael G. Hinchey,Patricia Rago,Christopher A. Rouff

ISBN 13: 9783540692652

Format: Paperback (408 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later