Formal Modeling and Analysis of Timed Systems

9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
Formal Modeling and Analysis of Timed Systems

Gebrauchte Bücher kaufen

Information
Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.
Information
Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf.

Neues Buch oder eBook (pdf) kaufen

Information
Neuware - verlagsfrische aktuelle Buchausgabe.
Zustand : Neu
69,99 €

inkl. MwSt. zzgl. Versandkosten

Lieferzeit 1 Werktag(e)

9783642243097

Die Studibuch Philosophie

Wissen zu fairen Preisen, nachhaltig weitergeben.

Verwandte Sachgebiete

Produktdetails mehr
Einband: Kartoniert
Seitenzahl: 351
Erschienen: 2011-09-12
Sprache: Englisch
EAN: 9783642243097
ISBN: 3642243096
Reihe: Lecture Notes in Computer Science 6919
Verlag: Springer-Verlag GmbH
Gewicht: 554 g
Auflage:
This book constitutes the refereed proceedings of the 9th International Conference on Formal... mehr
Produktinformationen "Formal Modeling and Analysis of Timed Systems"
This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2011. The 20 revised full papers presented together with three invited talks were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on probabilistic methods, robustness, games, verification and testing, verification, hybrid systems, and applications.
Weiterführende Links zu "Formal Modeling and Analysis of Timed Systems"
Bewertungen lesen, schreiben und diskutieren... mehr
Kundenbewertungen für "Formal Modeling and Analysis of Timed Systems"
Bewertung schreiben
Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.

Fahrenberg, Uli mehr
Zuletzt angesehen