Your search returned 8 results.

Results
	1.	Leveraging Applications of Formal Methods, Verification and Validation. Modeling by Tiziana Margaria, Bernhard Steffen Series: Lecture Notes in Computer Science Edition: 1st ed. 2018 Language: EN Publication details: Springer International Publishing 2018 Online resources: Click here to access online Click here to access online Availability: No items available. Add to cart (remove)
	2.	Leveraging Applications of Formal Methods, Verification and Validation. Verification by Tiziana Margaria, Bernhard Steffen Series: Lecture Notes in Computer Science Edition: 1st ed. 2018 Language: EN Publication details: Springer International Publishing 2018 Online resources: Click here to access online Click here to access online Availability: No items available. Add to cart (remove)
	3.	Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems by Tiziana Margaria, Bernhard Steffen Series: Lecture Notes in Computer Science Edition: 1st ed. 2018 Language: EN Publication details: Springer International Publishing 2018 Online resources: Click here to access online Click here to access online Availability: No items available. Add to cart (remove)
	4.	Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice by Tiziana Margaria, Bernhard Steffen Series: Lecture Notes in Computer Science Edition: 1st ed. 2018 Language: EN Publication details: Springer International Publishing 2018 Online resources: Click here to access online Click here to access online Availability: No items available. Add to cart (remove)
	5.	Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications by Tiziana Margaria, Bernhard Steffen Series: Lecture Notes in Computer Science Edition: 2014 Language: EN Publication details: Springer Berlin Heidelberg 2014 Online resources: Click here to access online Click here to access online Availability: No items available. Add to cart (remove)
	6.	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change by Tiziana Margaria, Bernhard Steffen Series: Lecture Notes in Computer Science Edition: 2014 Language: EN Publication details: Springer Berlin Heidelberg 2014 Online resources: Click here to access online Click here to access online Availability: No items available. Add to cart (remove)
	7.	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change by Tiziana Margaria, Bernhard Steffen Series: Lecture Notes in Computer Science Edition: 2014 Publication details: Springer Berlin Heidelberg 2014 Online resources: Click here to access online Availability: Items available for loan: VIVEKANANDA LIBRARY (1). Place hold Add to cart (remove)
	8.	Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications by Tiziana Margaria, Bernhard Steffen Series: Lecture Notes in Computer Science Edition: 2014 Publication details: Springer Berlin Heidelberg 2014 Online resources: Click here to access online Availability: Items available for loan: VIVEKANANDA LIBRARY (1). Place hold Add to cart (remove)

© Designed and Maintained by Vivekananda Library, MDU Rohtak