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

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

Normal view MARC view ISBD view

Formal Methods: Foundations and Applications

Simone Cavalheiro, Jos� Fiadeiro

Formal Methods: Foundations and Applications - Springer 2017 - Lecture Notes in Computer Science .

ISBN: 9783319708485

Subjects--Index Terms: Software Engineering; Theory of Computation; Simulation and Modeling; The Computing Profession; System Performance and Evaluation

Print
Cite
Send to device
Save record
BIBTEX RIS
More searches

Search for this title in:

Managed & maintained by Learning Resource Center, IIT Indore

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

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

Formal Methods: Foundations and Applications

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

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