Showing 1 - 2 of 2 Results
1.
Formal Modeling and Analysis of Timed Systems : 16th International Conference, FORMATS 2018,... by Jansen, David N., Prabhakar... ISBN: 9783030001506 List Price: $69.99
2.
Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, on, Canada,... by Bogomolov, Sergiy, Martel, ... ISBN: 9783319542911 List Price: $60.00