|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Abstract State Machines, Alloy, B, Tla, VDM, and Z: 5th International Conference, Abz 2016, Linz, Austria, May 23-27, 2016, Proceedings 2016 Edition (Lecture Notes in Computer Science) | Butler, Michael | Paperback | 3319335995 /
9783319335995 | 05/2016 | $52.24 |
|  | Abstract State Machines, Alloy, B, Tla, VDM, and Z: 6th International Conference, Abz 2018, Southampton, Uk, June 5-8, 2018, Proceedings 2018 Edition | Butler, Michael | Paperback | 3319912704 /
9783319912707 | 05/2018 | $52.24 |
|
|
|