- 5 Résultats
prix le plus bas: € 39,42, prix le plus élevé: € 57,59, prix moyen: € 45,06
1
Formal Modeling and Analysis of Timed Systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings - Aleksandar Borisavljevic
Commander
sur hive.co.uk
£ 33,99
(environ € 39,42)
Commander
Détails et expédition
Lien sponsorisé
Aleksandar Borisavljevic:

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

2012, ISBN: 9783642333651

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…

No. 9783642333651. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise
fermer(X)
2
Formal Modeling and Analysis of Timed Systems - Springer
Commander
sur Buch.ch
CHF 61,50
(environ € 57,59)
Commander
Détails et expédition
Lien sponsorisé

Springer:

Formal Modeling and Analysis of Timed Systems - nouveau livre

2012, ISBN: 9783642333651

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…

  - No. 44260229 Frais d'envoizzgl. Versandkosten, Livraison non-comprise
fermer(X)
3
Commander
sur eBook.de
€ 40,49
Commander
Détails et expédition
Lien sponsorisé
Formal Modeling and Analysis of Timed Systems - nouveau livre

2012

ISBN: 9783642333651

10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings eBo… Plus…

  - No. 25413070 Frais d'envoizzgl. Versandkosten, Livraison non-comprise
fermer(X)
4
Formal Modeling and Analysis of Timed Systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings - Philip Abraham
Commander
sur hive.co.uk
£ 35,69
(environ € 41,52)
Commander
Détails et expédition
Lien sponsorisé
Philip Abraham:
Formal Modeling and Analysis of Timed Systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings - nouveau livre

2012, ISBN: 9783642333651

; EPUB; Computing > Computer programming / software development, Elsevier Health Sciences APAC

  - No. 9783642333651. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise
fermer(X)
5
Commander
sur lehmanns.de
€ 46,28
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Marcin Jurdzinski; Dejan Nickovic:
Formal Modeling and Analysis of Timed Systems - nouveau livre

2012, ISBN: 9783642333651

10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2012

Frais d'envoiDownload sofort lieferbar. (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:

9783642333651

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


EAN (ISBN-13): 9783642333651
Date de parution: 2012
Editeur: Springer Berlin Heidelberg

Livre dans la base de données depuis 2016-01-30T16:42:28+01:00 (Paris)
Page de détail modifiée en dernier sur 2022-12-01T17:59:42+01:00 (Paris)
ISBN/EAN: 9783642333651

ISBN - Autres types d'écriture:
978-3-642-33365-1
Autres types d'écriture et termes associés:
Auteur du livre: aleksandar
Titre du livre: london 2012

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-31
Berlin; Heidelberg; DE
Langue: Anglais
48,14 € (DE)
49,50 € (AT)
54,50 CHF (CH)
Available
X, 267 p. 71 illus.

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

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...