. .
Deutsch
Deutschland
Anmelden
Tipp von eurobuch.de
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9783540857778 ankaufen:
Suchtools
Buchtipps
Aktuelles
Werbung
FILTER
- 0 Ergebnisse
Kleinster Preis: 69,70 €, größter Preis: 87,05 €, Mittelwert: 76,31 €
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 20 - Cassez, Franck / Jard, Claude
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Cassez, Franck / Jard, Claude:
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 20 - gebrauchtes Buch

2008, ISBN: 9783540857778

ID: 7976840

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets. Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings Cassez, Franck / Jard, Claude, Springer

gebrauchtes bzw. antiquarisches Buch Betterworldbooks.com
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Modeling and Analysis of Timed Systems - Springer
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Springer:
Formal Modeling and Analysis of Timed Systems - neues Buch

2008, ISBN: 9783540857778

ID: 43272816

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets. 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings Bücher > Fremdsprachige Bücher > Englische Bücher Taschenbuch 05.09.2008 Buch (fremdspr.), Springer, .200

Neues Buch Buch.ch
No. 15991101 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Modeling and Analysis of Timed Systems - Springer
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Springer:
Formal Modeling and Analysis of Timed Systems - neues Buch

2008, ISBN: 9783540857778

ID: cb5f52ba22d8a9440c8936c00956a6ab

6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets. Bücher / Fremdsprachige Bücher / Englische Bücher 978-3-540-85777-8, Springer

Neues Buch Buch.de
Nr. 15991101 Versandkosten:Bücher und alle Bestellungen die ein Buch enthalten sind versandkostenfrei, sonstige Bestellungen innerhalb Deutschland EUR 3,-, ab EUR 20,- kostenlos, Bürobedarf EUR 4,50, kostenlos ab EUR 45,-, Sofort lieferbar, zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Modeling and Analysis of Timed Systems als Buch von
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Formal Modeling and Analysis of Timed Systems als Buch von - gebunden oder broschiert

2008, ISBN: 9783540857778

ID: 405346405

Formal Modeling and Analysis of Timed Systems:6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings Formal Modeling and Analysis of Timed Systems:6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings Bücher > English, International > Gebundene Ausgaben, Springer-Verlag GmbH

Neues Buch Hugendubel.de
No. 7705821 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Modeling and Analysis of Timed Systems - Franck Cassez; Claude Jard
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Franck Cassez; Claude Jard:
Formal Modeling and Analysis of Timed Systems - Taschenbuch

2008, ISBN: 9783540857778

ID: 9528255

6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings, 2008, Softcover, Buch, [PU: Springer Berlin]

Neues Buch Lehmanns.de
Versandkosten:sofort lieferbar, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Formal Modeling and Analysis of Timed Systems

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.

Detailangaben zum Buch - Formal Modeling and Analysis of Timed Systems


EAN (ISBN-13): 9783540857778
ISBN (ISBN-10): 354085777X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2008
Herausgeber: Springer-Verlag GmbH
294 Seiten
Gewicht: 0,475 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 15.12.2008 05:25:07
Buch zuletzt gefunden am 03.08.2017 13:00:02
ISBN/EAN: 9783540857778

ISBN - alternative Schreibweisen:
3-540-85777-X, 978-3-540-85777-8


< zum Archiv...
Benachbarte Bücher