Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach - Studies in Computational Intelligence - Wojciech Penczek - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540328698 - June 26, 2006
In case cover and title do not match, the title is correct

Wojciech Penczek
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach - Studies in Computational Intelligence 2006 edition

Price
£ 120.49
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 15 - 25
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

Also available as:

This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems.

257 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released June 26, 2006
ISBN13 9783540328698
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 257
Dimensions 210 × 297 × 17 mm   ·   585 g
Language English  
Show all

More by Wojciech Penczek

See all of Wojciech Penczek ( e.g. Paperback Book and Hardcover Book )