Showing 1 - 6 of 6 Results
1.
Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, M... by Leucker, Martin, Morgan, Ch... ISBN: 9783642034657 List Price: $79.95
2.
Formal Methods Applications and Technology 11th International Workshop on Formal Methods for... by Brim, LuboÌŒs, Haverkort, B... ISBN: 9783540709510 List Price: $74.95
5.
Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombi... by Leucker, Martin, Rueda, Cam... ISBN: 9783319251493 List Price: $107.00