Showing 1 - 6 of 6 Results
1.
Runtime Verification by Tasiran, Serdar ISBN: 9783540773948 List Price: $59.95
2.
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA... by Dillig, Isil, Tasiran, Serdar ISBN: 9783030255398 List Price: $59.99
3.
Computer Aided Verification by Tasiran, Serdar, Dillig, Isil ISBN: 9781013271175
4.
Computer Aided Verification by Tasiran, Serdar, Dillig, Isil ISBN: 9781013271144
5.
Computer Aided Verification by Tasiran, Serdar, Dillig, Isil ISBN: 9781013271151
6.
Computer Aided Verification by Tasiran, Serdar, Dillig, Isil ISBN: 9781013271168