The book is currently out of stock

Verification of reactive systems

Formal Methods and Algorithms

Authors

Klaus Schneider

Parameters

Categories

Computers, IT, Programming

Series: Texts in theoretical computer science

Book purchase

Verification of reactive systems, Klaus Schneider

Language
Released: 2004

We’ll notify you via email once we track it down.

Payment methods