| Books 1 - 10 of 14 | Previous | Next | 
|  | | Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)
by Christopher A. Rouff (Editor), Michael G. Hinchey (Editor), James Rash (Editor), Walter Truszkowski (Editor), Diana Gordon-Spears (Editor)
Hardcover, 360 Pages, Published 2005 by Springer-Verlag London Ltd
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Concurrent Systems: Formal Development in CSP (McGraw-Hill International Series in Software Engineering)
by Michael G. Hinchey, Stephen A. Jarvis
Paperback, 181 Pages, Published 1995 by McGraw-Hill Publishing Co.
Compare Prices | Add to Wish List | Set Price Alert |
|  | | 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 (Editor), Christopher A. Rouff (Editor), Walter Truszkowski (Editor), Diana R. Gordon (Editor), Michael G. Hinchey (Editor)
Paperback, 369 Pages, Published 2001 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Compare Prices | Add to Wish List | Set Price Alert |
|  | | 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 (Editor), Andreas Fett (Editor), Michael G. Hinchey (Editor)
Paperback, 417 Pages, Published 1998 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing & Information Technology (FACIT))
by Michael G. Hinchey (Editor), Jonathan P. Bowen (Editor)
Paperback, 400 Pages, Published 1999 by Springer-Verlag London Ltd
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Zum '95 the Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings (Lecture Notes in Computer Science)
by J.P. Bowen (Editor), Michael G. Hinchey (Editor)
Paperback, 571 Pages, Published 1995 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Compare Prices | Add to Wish List | Set Price Alert |
|  | | High-integrity System Specification and Design (Formal Approaches to Computing & Information Technology)
by J.P. Bowen (Editor), Michael G. Hinchey (Editor)
Paperback, 701 Pages, Published 1999 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Functional Programming With Haskell
by Michael G. Hinchey, Steven A. Jarvis
Paperback, 400 Pages, Published 2004 by Mcgraw-Hill Osborne Media
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Formal Approaches to Agent-Based Systems: Second International Workshop, Faabs 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers (Lecture Notes in Computer Science)
by Michael G. Hinchey (Editor), James L. Rash (Editor), Walter F. Truszkowski (Editor), Christopher A. Rouff (Editor), Diana Gordon-Spears (Editor)
Paperback, 297 Pages, Published 2003 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Teaching and Learning Formal Methods (Academic Press International Series in Formal Methods)
by C. Neville Dean (Editor), Michael G. Hinchey (Series Editor)
Paperback, 285 Pages, Published 1996 by Morgan Kaufmann
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 10 of 14 | Previous | Next |
|