Welcome to the Online Catalogue, 

Central Library

Ramakrishna Mission Vivekananda Educational and Research Institute (RKMVERI), Belur
       
                       Accredited by NAAC with A++  Grade

Search

Normal view MARC view ISBD view

Principles of model checking

Christel Baier

Principles of model checking - The MIT Press 2008 - 975

SAR/39/08/26-08-08

Subjects--Topical Terms:
Computer systems --Verification.
Computer software --Verification.

Print
Suggest for purchase
Send to device
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Visitor count :