|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Abstract State Machines, Alloy, B, Tla, VDM, and Z: 4th International Conference, Abz 2014, Toulouse, France, June 2-6, 2014. Proceedings 2014 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Ait Ameur, Yamine | Paperback | 3662436515 /
9783662436516 | 05/2014 | $52.24 |
|  | Abz 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, Tla, VDM, and 2014 Edition (Communications in Computer and Information Science) | Boniol, Frederic | Paperback | 331907511X /
9783319075112 | 05/2014 | $52.24 |
|  | Model and Data Engineering: 4th International Conference, Medi 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings 2014 Edition | Ait Ameur, Yamine | Paperback | 3319115863 /
9783319115863 | 09/2014 | $52.24 |
|
|
|