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

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

Normal view MARC view ISBD view

Numerical Software Verification

Alessandro Abate, Sylvie Boldo

Numerical Software Verification - Springer 2017 - Lecture Notes in Computer Science .

ISBN: 9783319635019

Subjects--Index Terms: Logics and Meanings of Programs; Software Engineering; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Simulation and Modeling

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)

Numerical Software Verification

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

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