CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 6 of 6 Results
1.
Interprocedural Analysis and the Verification of Concurrent Programs
Interprocedural Analysis and the Verification of Concurrent Programs by Lal, Akash ISBN: 9781243672636 List Price: $69.00

OUT OF STOCK

See Availability on Amazon
2.
Verification, Model Checking, and Abstract Interpretation : 16th International Conference, V...
Verification, Model Checking, and Abstract Interpretation : 16th International Conference, V... by D'Souza, Deepak, Lal, Akash... ISBN: 9783662460825 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
3.
Verified Software. Theories, Tools and Experiments : 14th International Conference, VSTTE 20...
Verified Software. Theories, Tools and Experiments : 14th International Conference, VSTTE 20... by Lal, Akash, Tonetta, Stefano ISBN: 9783031258022
$51.31
4.
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 1...
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 1... by Enea, Constantin, Lal, Akash ISBN: 9783031377020 List Price: $49.99
$46.78 (Save 6%)
5.
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 1...
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 1... by Enea, Constantin, Lal, Akash ISBN: 9783031377082 List Price: $49.99
$46.78 (Save 6%)
6.
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 1...
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 1... by Enea, Constantin, Lal, Akash ISBN: 9783031377051 List Price: $49.99
$46.78 (Save 6%)