Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Gren - Yassine Lakhnech - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540231677 - September 20, 2004
In case cover and title do not match, the title is correct

Yassine Lakhnech
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Gren 2004 edition

Price
$ 55.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 7 - 13

Our customers say:

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

Among the topics addressed are formal verification, voting systems, formal specification, dependable automation systems, model checking, timed automata, real-time testing, fault-tolerance protocols, fail- safe fault tolerance, real-time scheduling, satisfiability checking, and even event recording automata.

402 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 20, 2004
ISBN13 9783540231677
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 402
Dimensions 155 × 235 × 21 mm   ·   576 g
Language German  
Editor Lakhnech, Yassine
Editor Yovine, Sergio

Mere med samme udgiver

See all of Yassine Lakhnech ( e.g. Paperback Book )