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

ऑनलाइन सार्वजनिक अभिगम प्रसूची
Online Public Access Catalogue (OPAC)
Amazon cover image
Image from Amazon.com
Image from Coce

Abstract State Machines, Alloy, B, TLA, VDM, and Z

By: Material type: TextTextSeries: Lecture Notes in Computer SciencePublication details: Springer 2014ISBN:
  • 9783662436523
Subject(s): Online resources:
Item type: E-Book
Holdings
Item type Home library Status Barcode
E-Book E-Book LRC, IIT Indore Online Not for loan EB1848
Total holds: 0
Copyright © 2024, 2021, 2017 Indian Institute of Technology Indore. All Rights Reserved.
Managed & maintained by Learning Resource Center, IIT Indore