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

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

Klaus Schneider

Price
£ 40.99
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 18 - 28

Our customers say:

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

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

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.04 kg
Language English   German  
Show all

More by Klaus Schneider

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