1.
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15-16...
by Biondi, Fabrizio, Given-Wil...
ISBN: 9783030309220
List Price: $69.99
OUT OF STOCK
See Availability on Amazon2.
Hardware and Software : Verification and Testing: 9th International Haifa Verification Confe...
by Bertacco, Valeria, Legay, Axel
ISBN: 9783319030784
List Price: $24.99
OUT OF STOCK
See Availability on Amazon3.
From Programs to Systems - the Systems Perspective in Computing : Etaps Workshop, Fps 2014, ...
by Bensalem, Saddek, Lakhneck,...
ISBN: 9783642548499
List Price: $24.99
OUT OF STOCK
See Availability on Amazon4.
Formal Modeling and Analysis of Timed Systems : 12th International Conference, Formats 2014,...
by Legay, Axel, Bozga, Marius
ISBN: 9783319105130
List Price: $24.99
OUT OF STOCK
See Availability on Amazon5.
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Confe...
by Legay, Axel, Margaria, Tiziana
ISBN: 9783662545799
List Price: $84.00
6.
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Confe...
by Legay, Axel, Margaria, Tiziana
ISBN: 9783662545768
List Price: $107.00
7.
Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-2...
by Legay, Axel, Bensalem, Saddek
ISBN: 9783642407888
List Price: $24.99