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

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

Amazon cover image

Image from Amazon.com

Normal view MARC view ISBD view

Formal methods : state of the art and new directions

By:

Boca, Paul

Contributor(s):

Bowen, Jonathan P. : Siddiqi

Material type: Text

Text

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

9781848827356

DDC classification:

004 BOC

Average rating: 0.0 (0 votes)

Holdings ( 1 )

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

Browsing LRC, IIT Indore shelves, Shelving location: 3rd Floor - Reference Collection, Collection: Reference Close shelf browser (Hides shelf browser)

Previous								Next
Previous	004 BAR Information technology in the service economy : challenges and possibilities for the 21st century : IFIP TC8 WG8.2 International Working Conference August 10-13, 2008, Toronto, Ontario, Canada	004 BAY Geometric Computing: For Wavelet transforms, Robot Vision, Learning, Control and Action	004 BLU Computer science : the hardware software and heart of it	004 BOC Formal methods : state of the art and new directions	004 DAR Context-aware computing and self-managing systems	004 EHL Object Relationship Notation (ORN) for database applications : enhancing the modeling and implementation of associations	004 ELL Advanced techniques in computing sciences and software engineering	Next

Print
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
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

Powered by Koha