Image from Google Jackets

Handbook of Model Checking

By: Contributor(s): Material type: TextTextPublication details: Switzerland Springer 2018Description: xxiv, 1210pISBN:
  • 9783319105741
Subject(s): DDC classification:
  • 004.21 Cla
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Copy number Status Notes Date due Barcode Item holds
Reference Reference IIT Goa Central Library Technical 004.21/Cla (Browse shelf(Opens below)) 1 Reference RBPPL76141/19-20|| 25-07-19|| 32.00%|| EUR 109.99 2798
Total holds: 0
© 2021 Managed and maintained by Central Library, IIT Goa