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