Verification of Reactive Systems: Formal Methods and Algorithms

By:

Schneider, Klaus

Material type: Text

TextSeries: Texts in Theoretical Computer Science An EATCSPublication details: New York Springer Berlin Heidelberg 2006Description: 600pISBN:

9783540002963

Subject(s):

Computer Engineering

DDC classification:

004.21 SCH

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Item location	Collection	Call number	Status	Date due	Barcode	Item holds
Reference Book	NIMA Knowledge Centre	7th Floor Silence Zone	Reference	004.21 SCH (Browse shelf(Opens below))	Not For Loan		T0030458

Total holds: 0

Introduction A Unified Specification Language Fix point Calculi Finite Automata Temporal Logics Predicate Logic Conclusions Binary Decision Diagrams Local Model Checking and Satisfiability Checking for the µ-Calculus Reduction of Structures

There are no comments on this title.

to post a comment.