Formal Modeling and Analysis of Timed Systems
7
%
1574 Kč 1 687 Kč
Sleva až 70% u třetiny knih
Invited Papers.- Temporal Logics.- Distributed Timed Systems.- Behavioral Equivalences.- Timed Words.- Continuous Dynamical Systems.
| Autor: | Jansen, David N. |
| Nakladatel: | Springer, Berlin |
| Rok vydání: | 2018 |
| Jazyk : | Angličtina |
| Vazba: | Paperback / softback |
| Počet stran: | 350 |
Mohlo by se vám také líbit..
-
Meteorologie
Klose, Brigitte
-
Scheffer/Schachtschabel: Soil Science
Blume, Hans-Peter
-
Kurzlehrbuch Psychiatrie
Bandelow, Borwin
-
Erste Hilfe - Chemie und Physik für M...
Schatz, Jürgen
-
Fundamental Algorithms in Computation...
Pulliam, Thomas H.
-
Manuelle Medizin bei Säuglingen und K...
Coenen, Wilfrid
-
Der Luzifer-Effekt
Zimbardo, Philip G.
-
Professional Sitecore 8 Development
Wicklund, Phil
-
DBT-A- Manual
Fleischhaker, Christian
-
Erfolgreiche Verhandlungsführung in E...
Wannenwetsch, Helmut H.
-
Praxisbuch Biofeedback und Neurofeedback
Haus, Karl-Michael
-
Einführung in die Soziologie
Schäfers, Bernhard
-
Sportkardiologie
Niebauer, Josef
-
Gefäßpflanzen: Atlasband
Jäger, Eckehart J.
-
Category Supply Management
Grajczyk, Karl J.
-
Oxytocin, das Hormon der Nähe
Uvnäs-Moberg, Kerstin