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

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

Formal Methods for Distributed processing : A Survey of Object-Oriented Approaches

By: Contributor(s): Material type: TextTextPublication details: Cambridge Cambridge University Press 2001Description: x, 480 p. ; 26 cmISBN:
  • 521771846
Subject(s): DDC classification:
  • 005.117 BOW
Item type: Book
Holdings
Item type Home library Collection Call number Status Barcode
Reference Books Reference Books LRC, IIT Indore 3rd Floor - Reference Collection Reference 005.117 BOW (Browse shelf(Opens below)) Not For Loan 10468
Total holds: 0
Copyright © 2024, 2021, 2017 Indian Institute of Technology Indore. All Rights Reserved.
Managed & maintained by Learning Resource Center, IIT Indore