Your search returned 2 results.

Results
	1.	Critical Systems: Formal Methods and Automated Verification by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti 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)
	2.	No cover image available Software Engineering for Robotics by Ana Cavalcanti Brijesh Dongol Jim Woodcock Jon Timmis Rob Hierons 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)

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