
Vertel uw vrienden over dit artikel:
The Theory of Timed I/O Automata, Second Edition - Synthesis Lectures on Distributed Computing Theory 2 Revised edition
Dilsun Kaynar
The Theory of Timed I/O Automata, Second Edition - Synthesis Lectures on Distributed Computing Theory 2 Revised edition
Dilsun Kaynar
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
123 pages, XIV, 123 p.
Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
Vrijgegeven | 29 november 2010 |
ISBN13 | 9783031008757 |
Uitgevers | Springer International Publishing AG |
Pagina's | 123 |
Afmetingen | 277 g |
Taal en grammatica | Engels |
Bekijk alles van Dilsun Kaynar ( bijv. Paperback Book )