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

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

Normal view MARC view ISBD view

Numerical Software Verification

Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar

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

ISBN: 9783319542928

Subjects--Index Terms: Logics and Meanings of Programs; Software Engineering; Computer Communication Networks; Mathematical Logic and Formal Languages; Information Systems Applications (incl.Internet); Artificial Intelligence (incl. Robotics)

Print
Send to device
Save record
BIBTEX RIS MARC (Unicode/UTF-8)
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)