Wojciech Penczek & Agata Polrola 
Advances in Verification of Time Petri Nets and Timed Automata [PDF ebook] 
A Temporal Logic Approach

Підтримка
€166.82
методи оплати
Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!
Мова Англійська ● Формат PDF ● ISBN 9783540328704 ● Видавець Springer Berlin Heidelberg ● Опубліковано 2007 ● Завантажувані 6 разів ● Валюта EUR ● Посвідчення особи 6316782 ● Захист від копіювання Adobe DRM
Потрібен читач електронних книг, що підтримує DRM

Більше електронних книг того самого автора / Редактор

50 053 Електронні книги в цій категорі