- 5 Résultats
prix le plus bas: € 49,22, prix le plus élevé: € 54,99, prix moyen: € 51,28
1
Formal Modeling and Analysis of Timed Systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings - Dejan Nickovic
Commander
sur ZVAB.com
€ 52,23
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Dejan Nickovic:

Formal Modeling and Analysis of Timed Systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings - Livres de poche

2012, ISBN: 3642333648

[EAN: 9783642333644], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], AUTOMATEDVERIFICATION; COMPLEXITYANALYSIS; MODELCHECKING; SYMBOLICREACHABILITY; TIMEDAUTOMATA; ALGORITHMANALYSI… Plus…

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
fermer(X)
2
Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Pro - Marcin Jurdzinski
Commander
sur Indigo.ca
C$ 75,95
(environ € 50,73)
Commander
Détails et expédition
Lien sponsorisé

Marcin Jurdzinski:

Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Pro - nouveau livre

2012, ISBN: 9783642333644

This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012. T… Plus…

  - new Free shipping on orders above $25. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
fermer(X)
3
Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings Marcin Jurd
Commander
sur BarnesandNoble.com
€ 54,99
Commander
Détails et expédition
Lien sponsorisé
Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings Marcin Jurd - nouveau livre

2012

ISBN: 9783642333644

This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012. T… Plus…

new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
fermer(X)
4
Formal Modeling and Analysis of Timed Systems, Kartoniert (TB)
Commander
sur Weltbild.de
€ 49,22
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Formal Modeling and Analysis of Timed Systems, Kartoniert (TB) - nouveau livre

2012, ISBN: 9783642333644

This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012.Th… Plus…

Nr. 150732128. Frais d'envoi, 2-5 Werktage, DE. (EUR 0.00)
fermer(X)
5
Formal Modeling and Analysis of Timed Systems - Marcin Jurdzinski; Dejan Nickovic
Commander
sur lehmanns.de
€ 49,22
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Marcin Jurdzinski; Dejan Nickovic:
Formal Modeling and Analysis of Timed Systems - Livres de poche

2012, ISBN: 9783642333644

10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2012

Frais d'envoiVersand in 10-14 Tagen. (EUR 0.00)
fermer(X)
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
Auteur:
Titre:
ISBN:

9783642333644

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


EAN (ISBN-13): 9783642333644
ISBN (ISBN-10): 3642333648
Livre de poche
Date de parution: 2012
Editeur: Springer Berlin

Livre dans la base de données depuis 2014-03-26T17:15:35+01:00 (Paris)
Page de détail modifiée en dernier sur 2024-03-31T10:29:53+02:00 (Paris)
ISBN/EAN: 9783642333644

ISBN - Autres types d'écriture:
3-642-33364-8, 978-3-642-33364-4
Autres types d'écriture et termes associés:
Auteur du livre: marci, dejan
Titre du livre: analysis systems, london 2012, science 2012, time form form time

Données de l'éditeur

Auteur: Marcin Jurdzinski; Dejan Nickovic
Titre: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings
Editeur: Springer; Springer Berlin
267 Pages
Date de parution: 2012-08-17
Berlin; Heidelberg; DE
Imprimé / Fabriqué en
Langue: Anglais
49,22 € (DE)
50,60 € (AT)
54,50 CHF (CH)
POD
X, 267 p. 71 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; automated verification; complexity analysis; model checking; symbolic reachability; timed automata; algorithm analysis and problem complexity; Computer Science Logic and Foundations of Programming; Software Engineering; Compilers and Interpreters; Formal Languages and Automata Theory; Programming Techniques; Algorithms; Software Engineering; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; Algorithmen und Datenstrukturen; EA

The 16 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The book covers topics of foundations and semantics, methods and tools, techniques, algorithms, hybrid automata, appilcations, real-time software and hardware circuits.
Fast-track conference proceedings State-of-the-art research Up-to-date results
< pour archiver...