[email protected]
Wir antworten innerhalb von 24 Stunden
Kontakt
Wie einkaufen
Hilfe
Versand
Österreichische Post 5.99 €
DPD-Kurier 6.49 €
GLS-Kurier 4.49 €
Kaufberater
Wir sind für Sie da!
[email protected]
Mein Konto
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
▸
Leer :-(
0
Formal Modeling and Analysis of Timed Systems
Sprache
Englisch
Englisch
Buch
Broschur
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeli...
Vollständige Beschreibung
Libristo-Code: 16771796
?
161 b
161 b
64.16
€
inkl. MwSt.
Externes Lager in kleiner Menge
Wir versenden in 13-16 Tagen
30 Tage für die Rückgabe der Ware
Das könnte Sie auch interessieren
/
Broschur
17.04
€
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems.
Informationen zum Buch
Vollständiger Name
Formal Modeling and Analysis of Timed Systems
Autor
Alessandro Abate, Gilles Geeraerts
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2017
Anzahl der Seiten
353
EAN
9783319657646
ISBN
331965764X
Libristo-Code
16771796
Gewicht
5504
Abmessungen
155 x 235 x 22
Kategorie
EDV und Informationstechnologie
>
Informatik
>
Mensch-Computer-Interaktion
>
Interfacedesign, Benutzerfreundlichkeit (Usability)
EDV und Informationstechnologie
>
Grafische und digitale Media-Anwendungen
>
3D-Grafik und Modellierung
EDV und Informationstechnologie
>
Computerprogrammierung und Softwareentwicklung
>
Programmier- und Skriptsprachen, allgemein
