1.
Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11...
by Finkbeiner, Bernd, Mariani,...
ISBN: 9783030320782
List Price: $79.99
2.
Validation of Evolving Software
by Chockler, Hana, Kroening, D...
ISBN: 9783319106229
List Price: $109.00
3.
Proceedings of the Ninth International Workshop on Dynamic Analysis
by Mariani, Leonardo
ISBN: 9781450308113
List Price: $99.00
OUT OF STOCK
See Availability on Amazon4.
Validation of Evolving Software
by Chockler, Hana, Kroening, D...
ISBN: 9783319382005
List Price: $109.00