- 5 Résultats
prix le plus bas: € 17,19, prix le plus élevé: € 54,99, prix moyen: € 34,97
1
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings Fran
Commander
sur BarnesandNoble.com
€ 54,99
CommanderLien sponsorisé

Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings Fran - nouveau livre

2008, ISBN: 9783540857778

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 20… Plus…

new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
2
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings: 5215 (Lecture Notes in Computer Science, 5215)
Commander
sur amazon.co.uk
£ 24,48
(environ € 28,53)
Envoi: € 5,591
CommanderLien sponsorisé
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings: 5215 (Lecture Notes in Computer Science, 5215) - Livres de poche

2008, ISBN: 9783540857778

Editor: Cassez, Franck, Editor: Jard, Claude, Springer, Paperback, Auflage: 2008, 305 Seiten, Publiziert: 2008-09-05T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 25048509, 0.44 kg, Spe… Plus…

Frais d'envoiIn stock. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.59) PAMS Ent
3
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings (Lecture Notes in Computer Science, 5215, Band 5215)
Commander
sur amazon.de
€ 28,81
Envoi: € 3,001
CommanderLien sponsorisé
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings (Lecture Notes in Computer Science, 5215, Band 5215) - Livres de poche

2008

ISBN: 9783540857778

Springer, Taschenbuch, Auflage: 2008, 312 Seiten, Publiziert: 2008-10-21T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 25048509, 0.98 kg, Informatik, IT-Ausbildung & -Berufe, Computer &… Plus…

Frais d'envoiAuf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) PAMS Ent
4
Commander
sur Biblio.co.uk
$ 18,93
(environ € 17,19)
Envoi: € 18,401
CommanderLien sponsorisé
Cassez, Franck [Editor]; Jard, Claude [Editor];:
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings ... Computer Science and General Issues) - Livres de poche

2008, ISBN: 9783540857778

Springer, 2008-09-05. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding., Springer,… Plus…

Frais d'envoi EUR 18.40 GuthrieBooks
5
Commander
sur Biblio.co.uk
$ 49,00
(environ € 45,34)
Envoi: € 14,611
CommanderLien sponsorisé
Cassez, Franck and Jard, Claude:
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings (Lecture Notes in Computer Science, 5215) - Livres de poche

2008, ISBN: 9783540857778

Paperback. Very Good., 3

Frais d'envoi EUR 14.61 Happy Days

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings Fran

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: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings Fran


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

Livre dans la base de données depuis 2008-12-15T05:25:07+01:00 (Paris)
Page de détail modifiée en dernier sur 2024-04-16T15:20:26+02:00 (Paris)
ISBN/EAN: 9783540857778

ISBN - Autres types d'écriture:
3-540-85777-X, 978-3-540-85777-8
Autres types d'écriture et termes associés:
Auteur du livre: franck, claude franc, malo
Titre du livre: formal modeling analysis timed systems, system, saint malo, france, time form form time, general analysis, september 2008


Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9783642738340 Methods in Protein Sequence Analysis (Brigitte Wittmann-Liebold)


< pour archiver...