Explore the latest books of this year!

The book is currently out of stock

Model checking nondeterministic and randomly timed systems

Authors

Martin R. Neuhäußer

Parameters

Computers, IT, Programming

Book purchase

Model checking nondeterministic and randomly timed systems, Martin R. Neuhäußer

Language
Released: 2010

We’ll email you as soon as we track it down.

Payment methods

No one has rated yet.Add rating

Edition detailsSuggest a correction