10% off all books and free delivery over £50
Buy from our bookstore and 25% of the cover price will be given to a school of your choice to buy more books. *15% of eBooks.

Advances in Verification of Time Petri Nets and Timed Automata

View All Editions (1)

The selected edition of this book is not available to buy right now.
Add To Wishlist
Write A Review

About

Advances in Verification of Time Petri Nets and Timed Automata Synopsis

Advances in Verification of Time Petri Nets and Timed Automata by Wojciech Penczek, Agata Pólrola

About This Edition

ISBN: 9783540328698
Publication date:
Author: Wojciech Penczek, Agata Pólrola
Publisher: Springer an imprint of Springer Berlin Heidelberg
Format: Hardback
Pagination: 257 pages
Series: Studies in Computational Intelligence
Genres: Engineering: general
Maths for engineers
Artificial intelligence
Mathematics