1.
Automated Technology for Verification and Analysis : 10th International Symposium, ATVA 2012...
by Mukund, Madhavan, Chakrabor...
ISBN: 9783642333859
List Price: $95.00
2.
Study on performance of synthetic fiber in concrete and mortar: Effect of Synthetic fiber in...
by Supratik Bose, Arun Kumar C...
ISBN: 9783659208768
List Price: $77.00
3.
Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2...
by Chakraborty, Supratik, Nava...
ISBN: 9783030415990
List Price: $59.99