Showing 1 - 3 of 3 Results
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