Theory of Timed I/O Automata, Second Edition

Name: Theory of Timed I/O Automata, Second Edition
Brand: Springer International Publishing AG
SKU: 2094037
Author: Dilsun Kaynar

Dilsun Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager

Springer International Publishing AG

Knihu Theory of Timed I/O Automata, Second Edition aktuálně nelze zakoupit v žádném z porovnávaných e-shopů...

Krátký popis

Table of Contents: Introduction / Mathematical Preliminaries / Describing Timed System Behavior / Timed Automata / Operations on Timed Automata / Properties for Timed Automata / Timed I/O Automata / Operations on Timed I/O Automata / Conclusions and Future Work

Zobrazit celý popis

Výběr knih vydavatele Springer International Publishing AG