|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Abstract State Machines, B and Z: First International Conference, Abz 2008, London, Uk, September 16-18, 2008. Proceedings 2008 Edition (Lecture Notes in Computer Science) | Börger, Egon | Paperback | 3540876022 /
9783540876021 | 09/2008 | $52.24 |
|  | Electronic Visualisation in Arts and Culture 2013 Edition (Springer Cultural Computing) | Bowen, Jonathan P. | Hardcover | 1447154053 /
9781447154051 | 09/2013 | $151.99 |
|  | Electronic Visualisation in Arts and Culture Softcover Repri Edition (Springer Cultural Computing) | Bowen, Jonathan P. | Paperback | 1447172353 /
9781447172352 | 08/2016 | $151.99 |
|  | Formal Methods and Testing: An Outcome of the Fortest Network. Revised Selected Papers 2008 Edition (Lecture Notes in Computer Science) | Hierons, Robert M. | Paperback | 3540789162 /
9783540789161 | 04/2008 | $52.24 |
|  | Formal Methods: State of the Art and New Directions 2010 Edition | Boca, Paul | Hardcover | 1848827350 /
9781848827356 | 12/2009 | $104.49 |
|  | High-Integrity System Specification and Design Softcover Repri Edition (Formal Approaches to Computing and Information Technology (F) | Bowen, Jonathan P. | Paperback | 3540762264 /
9783540762263 | 04/1999 | $52.24 |
|  | Industrial-Strength Formal Methods in Practice 1999 Edition (Formal Approaches to Computing and Information Technology (F) | Hinchey, Michael G. | Paperback | 1852336404 /
9781852336400 | 09/1999 | $161.49 |
|  | Zb 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, Uk, August 29 - September 2, 2000 Proc 2000 Edition (Lecture Notes in Computer Science) | Bowen, Jonathan P. | Paperback | 3540679448 /
9783540679448 | 08/2000 | $52.24 |
|  | Zb 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceed 2002 Edition (Lecture Notes in Computer Science,) | Bert, Didier | Paperback | 3540431667 /
9783540431664 | 01/2002 | $52.24 |
|  | Zb 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings 2003 Edition (Lecture Notes in Computer Science) | Bert, Didier | Paperback | 3540402535 /
9783540402534 | 05/2003 | $104.49 |
|  | Zum '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings 1995 Edition (Lecture Notes in Mathematics) | Bowen, Jonathan P. | Paperback | 3540602712 /
9783540602712 | 08/1995 | $104.49 |
|  | Zum '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings 1998 Edition (Lecture Notes in Computer Science,) | Bowen, Jonathan P. | Paperback | 3540650709 /
9783540650706 | 09/1998 | $52.24 |
|  | Zum'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, Uk, April, 3-4, 1997, Proceedings 1997 Edition (Lecture Notes in Computer Science,) | Bowen, Jonathan P. | Paperback | 3540627170 /
9783540627173 | 03/1997 | $52.24 |
|
|
|