Your search returned 3 results.

Results
	1.	Verified Software: Theories, Tools, Experiments [electronic resource] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings / edited by Rajeev Joshi, Peter Müller, Andreas Podelski. by Joshi, Rajeev [edt] Müller, Peter [edt] Podelski, Andreas [edt] Series: Lecture Notes in Computer Science ; 7152 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 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.	Handbook of Dynamics and Probability [electronic resource] / by Peter Müller. by Müller, Peter [author.] 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: 550. Place hold Save to lists
	3.	The Complete Guide to SCION [electronic resource] : From Design Principles to Formal Verification / by Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig. by Chuat, Laurent [author.] Legner, Markus [author.] Basin, David [author.] Hausheer, David [author.] Hitz, Samuel [author.] Müller, Peter [author.] Perrig, Adrian [author.] Series: Information Security and Cryptography 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: 005.8. 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