IMSc Library catalog › Details for: Model Checking

Normal view MARC view ISBD view

Model Checking

TextPublication details: Cambridge ; MIT Press ; 1999Description: 314pISBN: 02 62 032708Subject(s): Computer Systems - Verification

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681.3 CLA (Browse shelf (Opens below))		Available		42524

Previous								Next
Previous	681.3 CHO Logics for emerging applications of databases	681.3 CHOW Distributed Operating Systems and Algorithms	681.3 CHU Influence of computers and informatics on mathematics and its teaching	681.3 CLA Model Checking	681.3 CLA Verification of Infinite-State Systems with Applications to Security:Volume 1 NATO Security through Science Series:Information and Communication Security	681.3 CLA Principles and theory for data mining and machine learning	681.3 CLA Handbook of Model Checking	Next

There are no comments on this title.

to post a comment.