Your search returned 3 results.

Results
	1.	Computer Aided Verification [electronic resource] : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings / edited by Armin Biere, Roderick Bloem. by Biere, Armin [edt] Bloem, Roderick [edt] Series: Lecture Notes in Computer Science ; 8559 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 2014 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	2.	Trusted Systems [electronic resource] : 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings / edited by Roderick Bloem, Peter Lipp. by Bloem, Roderick [edt] Lipp, Peter [edt] Series: Lecture Notes in Computer Science ; 8292 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 2013 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	3.	Software Verification [electronic resource] : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers / edited by Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina. by Bloem, Roderick [editor.] Dimitrova, Rayna [editor.] Fan, Chuchu [editor.] Sharygina, Natasha [editor.] Series: Programming and Software Engineering ; 13124 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: (1)Call number: 004.0151. Place hold Save to lists

web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India