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