Titel: Introduction to the Formal Design of Real-Time Systems, Einband: Taschenbuch, Autor: David F. Gray, Verlag: Springer, Springer, Sprache: Englisch, Seiten: 476, Maße: 235x155x26 mm, Gewicht: 715 g, Verkäufer: buch-mimpf, Schlagworte: Bisimulation Design ElectricalEngineering Simulation communication computer computerscience concurrency logic programming real-timesystem recursion validation.
eBay