. .
Français
France
s'inscrire
Conseils d'eurolivre.fr
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
Livre conseillé
Actualités
Publicité
FILTRE
- 0 Résultats
prix le plus bas: 69,70 €, prix le plus élevé: 87,05 €, prix moyen: 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
Livre non disponible
(*)
Cassez, Franck / Jard, Claude:
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 20 - livre d'occasion

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

livre d'occasion Betterworldbooks.com
Frais d'envoizzgl. Versandkosten, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Formal Modeling and Analysis of Timed Systems - Springer
Livre non disponible
(*)
Springer:
Formal Modeling and Analysis of Timed Systems - nouveau livre

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

Nouveaux livres Buch.ch
No. 15991101 Frais d'envoizzgl. Versandkosten, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Formal Modeling and Analysis of Timed Systems - Springer
Livre non disponible
(*)
Springer:
Formal Modeling and Analysis of Timed Systems - nouveau livre

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

Nouveaux livres Buch.de
Nr. 15991101 Frais d'envoiBü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, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Formal Modeling and Analysis of Timed Systems als Buch von
Livre non disponible
(*)
Formal Modeling and Analysis of Timed Systems als Buch von - edition reliée, livre de poche

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

Nouveaux livres Hugendubel.de
No. 7705821 Frais d'envoizzgl. Versandkosten, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Formal Modeling and Analysis of Timed Systems - Franck Cassez; Claude Jard
Livre non disponible
(*)
Franck Cassez; Claude Jard:
Formal Modeling and Analysis of Timed Systems - Livres de poche

2008, ISBN: 9783540857778

ID: 9528255

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

Nouveaux livres Lehmanns.de
Frais d'envoisofort lieferbar, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Détails sur le livre
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.

Informations détaillées sur le livre - Formal Modeling and Analysis of Timed Systems


EAN (ISBN-13): 9783540857778
ISBN (ISBN-10): 354085777X
Version reliée
Livre de poche
Date de parution: 2008
Editeur: Springer-Verlag GmbH
294 Pages
Poids: 0,475 kg
Langue: eng/Englisch

Livre dans la base de données depuis 15.12.2008 05:25:07
Livre trouvé récemment le 03.08.2017 13:00:02
ISBN/EAN: 9783540857778

ISBN - Autres types d'écriture:
3-540-85777-X, 978-3-540-85777-8


< pour archiver...
Livres en relation