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

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

Amazon cover image

Image from Amazon.com

Image from Coce

Normal view MARC view ISBD view

Verified Software. Theories, Tools, and Experiments

By:

Sandrine Blazy, Marsha Chechik

Material type: Text

Text

TextSeries: Lecture Notes in Computer SciencePublication details: Springer 2016ISBN:

9783319488691

Subject(s):

Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Programming Techniques; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics)

Online resources:

Click here to access online

Item type:

E-Book

Holdings ( 1 )

Holdings
Item type	Home library	Status	Barcode
E-Book	LRC, IIT Indore Online	Not for loan	EB2987

Total holds: 0

Print
Cite
Send to device
Save record
BIBTEX RIS
More searches

Search for this title in:

Copyright © 2024, 2021, 2017 Indian Institute of Technology Indore. All Rights Reserved.

Managed & maintained by Learning Resource Center, IIT Indore