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

Image from Amazon.com

Normal view MARC view ISBD view

Formal methods : state of the art and new directions

By:

Contributor(s):

Material type: Text

TextPublication details: London Springer 2010Description: xxiii, 273p. ; 24 cmISBN:

DDC classification:

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
Reference Books	LRC, IIT Indore 3rd Floor - Reference Collection	Reference	004 BOC (Browse shelf(Opens below))	Not For Loan		16916

Total holds: 0

Managed & maintained by Learning Resource Center, IIT Indore

Powered by Koha