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

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

Normal view MARC view ISBD view

Model Checking Software

Ezio Bartocci, C. R. Ramakrishnan

Model Checking Software - Springer 2013 - Lecture Notes in Computer Science .

ISBN: 9783642391767

Subjects--Index Terms: Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs

Print
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:

Managed & maintained by Learning Resource Center, IIT Indore

Powered by Koha

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

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

Model Checking Software

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

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