Merkliste
Die Merkliste ist leer.
Der Warenkorb ist leer.
Kostenloser Versand möglich
Kostenloser Versand möglich
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Formal Modeling and Analysis of Timed Systems

18th International Conference, FORMATS 2020, Vienna, Austria, September 1¿3, 2020, Proceedings
BuchPaperback
Verkaufsrang18661inEinführungen
CHF75.90

Produktinformationen

This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions.
Weitere Beschreibungen

Details

ISBN/GTIN978-3-030-57627-1
ProduktartBuch
EinbandPaperback
VerlagSpringer
Erscheinungsdatum17.08.2020
Auflage1st ed. 2020
ReiheTheoretical Computer Science and General Issues
Reihen-Nr.12288
Seiten301 Seiten
SpracheEnglisch
MasseBreite 155 mm, Höhe 235 mm, Dicke 17 mm
Gewicht476 g
WarengruppeInformatik
KategorieEinführungen
Weitere Details

Reihe

Kritiken und Kommentare

Über die Autorin/den Autor

Schlagworte

Vorschläge

Zuletzt von mir angeschaut