|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | A Theory and Practice of Program Development Edition. Edition (Formal Approaches to Computing and Information Technology (F) | Andrews, Derek J. | Paperback | 3540761624 /
9783540761624 | 07/1997 | $52.24 |
|  | Formal Methods and Object Technology Softcover Repri Edition (Formal Approaches to Computing and Information Technology (F) | Goldsack, Stephen J. | Paperback | 3540199772 /
9783540199779 | 04/1996 | $104.49 |
|  | Formal Methods in Human-Computer Interaction Softcover Repri Edition (Formal Approaches to Computing & Information Technology) | Palanque, Philippe | Paperback | 3540761586 /
9783540761587 | 10/1997 | $52.24 |
|  | Formal Object-Oriented Development Softcover Repri Edition (Formal Approaches to Computing and Information Technology (F) | Lano, Kevin | Paperback | 3540199780 /
9783540199786 | 10/1995 | $52.24 |
|  | 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 |
|  | Notations for Software Design Softcover Repri Edition (Formal Approaches to Computing and Information Technology (F) | Feijs, Loe M. G. | Paperback | 3540199020 /
9783540199021 | 10/1994 | $52.24 |
|  | On the Refinement Calculus 1992 Edition (Formal Approaches to Computing and Information Technology (F) | Morgan, Carroll | Paperback | 3540199314 /
9783540199311 | 12/1994 | $52.24 |
|  | Program Development by Refinement: Case Studies Using the B Method 1999 Edition (Formal Approaches to Computing and Information Technology (F) | Sekerinski, Emil | Paperback | 1852330538 /
9781852330538 | 10/1998 | $208.99 |
|  | Proof in VDM: A Practitioner's Guide Softcover Repri Edition (Formal Approaches to Computing and Information Technology (F) | Bicarregui, Juan C. | Paperback | 354019813X /
9783540198130 | 12/1993 | $52.24 |
|  | Proof in VDM: Case Studies Softcover Repri Edition (Formal Approaches to Computing and Information Technology (F) | Bicarregui, Juan C. | Paperback | 3540761861 /
9783540761860 | 03/1998 | $104.49 |
|  | Software Specification Methods: An Overview Using a Case Study Softcover Repri Edition (Formal Approaches to Computing and Information Technology (F) | Frappier, Marc | Paperback | 1852333537 /
9781852333539 | 10/2000 | $104.49 |
|  | Specification Case Studies in Raise 2002 Edition (Formal Approaches to Computing and Information Technology (F) | Dang Van, Hung | Paperback | 1852333596 /
9781852333591 | 02/2002 | $104.49 |
|  | Systems, Models and Measures Edition. Edition (Formal Approaches to Computing and Information Technology (F) | Kaposi, Agnes | Paperback | 3540197532 /
9783540197539 | 12/1993 | $52.24 |
|  | The B Language and Method: A Guide to Practical Formal Development Softcover Repri Edition (Formal Approaches to Computing and Information Technology (F) | Lano, Kevin | Paperback | 3540760334 /
9783540760337 | 05/1996 | $52.24 |
|
|
|