|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Algebraic Specification Techniques and Tools for Software Development: The ACT Approach (Amast Computing) | Claben, Ingo | Hardcover | 9810212275 /
9789810212278 | 11/1993 | $63.65 |
|  | An Algebraic Approach to Compiler Design (Amast Computing) | Sampaio, Augusto | Hardcover | 9810223919 /
9789810223915 | 04/1997 | $90.25 |
|  | Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification (Amast Computing) | Diaconescu, Razvan | Hardcover | 9810235135 /
9789810235130 | 07/1998 | $43.70 |
|  | Formal Models of Computation: The Ultimate Limits of Computing (Amast Computing) | Fleck, Arthur C. | Hardcover | 9810245009 /
9789810245009 | 03/2001 | $113.05 |
|  | Language Prototyping: An Algebraic Specification Approach (Amast Computing) | Heering, Jan | Hardcover | 9810227329 /
9789810227326 | 09/1996 | $128.25 |
|  | Real-Time Systems: Modeling, Design and Applications (Amast Series in Computing) | Cornell, Aurel | Hardcover | 981024424X /
9789810244248 | 02/2007 | $229.90 |
|  | Theories and Experiences for Real-Time System Development (Amast Computing) | Rattray, Charles | Hardcover | 9810219237 /
9789810219239 | 02/1995 | $152.00 |
|
|
|