विद्यार्जन संसाधन केंद्र, भारतीय प्रौद्योगिकी संस्थान इन्दौर
Learning Resource Center, Indian Institute of Technology Indore

ऑनलाइन सार्वजनिक अभिगम प्रसूची
Online Public Access Catalogue (OPAC)

Your search returned 18 results.

Results
	1.	Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications by Tiziana Margaria, Bernhard Steffen Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	2.	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change by Tiziana Margaria, Bernhard Steffen Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	3.	SOFSEM 2015: Theory and Practice of Computer Science by Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorn�, Jean-Jacques Quisquater, Roger Wattenhofer Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	4.	Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques by Tiziana Margaria, Bernhard Steffen Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	5.	Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications by Tiziana Margaria, Bernhard Steffen Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	6.	SOFSEM 2017: Theory and Practice of Computer Science by Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	7.	Tools and Algorithms for the Construction and Analysis of Systems by Axel Legay, Tiziana Margaria Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	8.	Tools and Algorithms for the Construction and Analysis of Systems by Axel Legay, Tiziana Margaria Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	9.	No cover image available Leveraging Applications of Formal Methods, Verification and Validation. Modeling by Tiziana Margaria, Bernhard Steffen Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2018 Online access: Click here to access online Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	10.	No cover image available Leveraging Applications of Formal Methods, Verification and Validation. Verification by Tiziana Margaria, Bernhard Steffen Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2018 Online access: Click here to access online Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	11.	No cover image available Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems by Tiziana Margaria, Bernhard Steffen Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2018 Online access: Click here to access online Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	12.	No cover image available Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice by Tiziana Margaria, Bernhard Steffen Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2018 Online access: Click here to access online Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	13.	Models, Mindsets, Meta: The What, the How, and the Why Not? by Tiziana Margaria Kim G. Larsen Susanne Graf Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2019 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	14.	Leveraging Applications of Formal Methods, Verification and Validation: Applications by Tiziana Margaria Bernhard Steffen Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online access: Click here to access online Availability: Items available for reference: : Not for loan (1). Add to cart (remove)
	15.	Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles by Tiziana Margaria Bernhard Steffen Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online access: Click here to access online Availability: Items available for reference: : Not for loan (1). Add to cart (remove)
	16.	Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles by Tiziana Margaria Bernhard Steffen Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online access: Click here to access online Availability: Items available for reference: : Not for loan (1). Add to cart (remove)
	17.	No cover image available Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends by Tiziana Margaria Bernhard Steffen Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2021 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	18.	No cover image available Leveraging Applications of Formal Methods, Verification and Validation by Tiziana Margaria Bernhard Steffen Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2021 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)

Copyright © 2024, 2021, 2017 Indian Institute of Technology Indore. All Rights Reserved.

Managed & maintained by Learning Resource Center, IIT Indore

Powered by Koha