Logo

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

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

Your search returned 4 results.

Sort
Results
1.
Leveraging Applications of Formal Methods, Verification and Validation. Modeling by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2018
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

2.
Leveraging Applications of Formal Methods, Verification and Validation. Verification by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2018
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

3.
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2018
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

4.
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2018
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

Pages
Copyright © 2021, 2017 Indian Institute of Technology Indore. All Rights Reserved.
Managed & maintained by Learning Resource Center, IIT Indore

Powered by Koha