Verification of Reactive Systems: Formal Methods and Algorithms - Texts in Theoretical Computer Science: an Eatcs Series - Klaus Schneider - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540002963 - October 16, 2003
In case cover and title do not match, the title is correct

Klaus Schneider
Verification of Reactive Systems: Formal Methods and Algorithms - Texts in Theoretical Computer Science: an Eatcs Series 2004 edition

Price
$ 56.49
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 12 - 22, 2026
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Presents various important results on m-calculus, w-automata, and temporal logics, shows the relationships between these formalisms and describes verification procedures for them. This title discusses advantages and disadvantages of these formalisms, and shows up their strengths and weaknesses.

620 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released October 16, 2003
ISBN13 9783540002963
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 620
Dimensions 156 × 234 × 33 mm   ·   1.20 kg
Language German  

More by Klaus Schneider

Show all

See all of Klaus Schneider ( e.g. Paperback Book , Hardcover Book and 12" )