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

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

Normal view MARC view ISBD view

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner

Tools and Algorithms for the Construction and Analysis of Systems - 2024 - Heidelberg, Germany Springer Nature 2024 - Lecture Notes in Computer Science .

ISBN: 978-3-031-57246-3

Subjects--Topical Terms:
Computer Science

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)

Tools and Algorithms for the Construction and Analysis of Systems

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

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