NUST Institutions Library Catalogue catalog › Details for: Concepts, algorithms and tools for model checking

Normal view MARC view ISBD view

Concepts, algorithms and tools for model checking - (E-BOOK) Joost-Pieter Katoen

By: Katoen, Joost-PieterSubject(s): E-BOOKDDC classification: 005.52

Contents:

System Validation (page-15 ),Model Checking Linear Temporal Logic (page-),47 Model Checking Branching Temporal Logic (page-127),Model Checking Real-Time Temporal Logic(page-189), A Survey of State-Space Reduction Techniques (page-257),

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

Holdings ( 1 )
Title notes ( 1 )
Comments ( 0 )

Item type	Current location	Home library	Collection	Call number	URL	Status	Date due	Barcode	Item holds
Book	Military College of Signals (MCS)	Military College of Signals (MCS)	NFIC	005.52 KAT (Browse shelf)	Link to resource	Available		MCSEB-851

Total holds: 0

Browsing Military College of Signals (MCS) shelves Close shelf browser

Previous		No cover image available	No cover image available	No cover image available		No cover image available		Next
Previous	005.453 GRI GCC, the complete reference -(E-BOOK)	005.52 ARN Algorithms for programmers ideas and source code- (E-BOOK)	005.52 INT Introducing the genetic algorithm and direct search toolbox- (E-BOOK)	005.52 KAT Concepts, algorithms and tools for model checking - (E-BOOK)	005.52 LAR Structures of string matching and data compression - (E-BOOK)	005.52 MAR Computer-aided circuit analysis tools for RFIC simulation, algorithms, features, and limitations - (E-BOOK)	005.54 HAR How to do everything with Microsoft Office Excel 2003 -(E-BOOK)	Next

There are no comments on this title.

to post a comment.