- 5 Résultats
prix le plus bas: € 37,99, prix le plus élevé: € 57,66, prix moyen: € 49,19
1
Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings - Vicario, Enrico (Herausgeber); Sankaranarayanan, Sriram (Herausgeber)
Commander
sur Achtung-Buecher.de
€ 57,66
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Vicario, Enrico (Herausgeber); Sankaranarayanan, Sriram (Herausgeber):

Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings - nouveau livre

2015, ISBN: 3319229745

1st ed. 2015 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Informatik, Informationstechnologie, IT, Technologie / Informationstechnologie, Mathematik / … Plus…

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
fermer(X)
2
Formal Modeling and Analysis of Timed Systems - Herausgegeben:Sankaranarayanan, Sriram; Vicario, Enrico
Commander
sur booklooker.de
€ 37,99
Commander
Détails et expédition
Lien sponsorisé

Herausgegeben:Sankaranarayanan, Sriram; Vicario, Enrico:

Formal Modeling and Analysis of Timed Systems - Livres de poche

2015, ISBN: 9783319229744

[ED: Softcover], [PU: Springer / Springer International Publishing / Springer, Berlin], This book constitutes the refereed proceedings of the 13th International Conference on Formal Model… Plus…

Frais d'envoiZzgl. Versandkosten., Livraison non-comprise buecher.de GmbH & Co. KG
fermer(X)
3
Formal Modeling and Analysis of Timed Systems - Sankaranarayanan, Sriram|Vicario, Enrico
Commander
sur AbeBooks.de
€ 48,37
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Sankaranarayanan, Sriram|Vicario, Enrico:
Formal Modeling and Analysis of Timed Systems - Livres de poche

2015

ISBN: 3319229745

[EAN: 9783319229744], Neubuch, [PU: Springer International Publishing], INFORMATIONSTECHNOLOGIE IT TECHNOLOGIE EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING MATHEMATIK INFORMATIK, COMPU… Plus…

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 5 (von 5)]
fermer(X)
4
Formal Modeling and Analysis of Timed Systems - Sankaranarayanan, Sriram Vicario, Enrico
Commander
sur booklooker.de
€ 48,45
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Sankaranarayanan, Sriram Vicario, Enrico:
Formal Modeling and Analysis of Timed Systems - Première édition

2015, ISBN: 9783319229744

Livres de poche

[ED: Kartoniert / Broschiert], [PU: Springer International Publishing], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitu… Plus…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
fermer(X)
5
Formal Modeling and Analysis of Timed Systems - Sriram Sankaranarayanan; Enrico Vicario
Commander
sur lehmanns.de
€ 53,49
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Sriram Sankaranarayanan; Enrico Vicario:
Formal Modeling and Analysis of Timed Systems - Première édition

2015, ISBN: 9783319229744

Livres de poche

13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings, Buch, Softcover, 1st ed. 2015, [PU: Springer International Publishing], Springer Internationa… Plus…

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:

9783319229744

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


EAN (ISBN-13): 9783319229744
ISBN (ISBN-10): 3319229745
Version reliée
Livre de poche
Date de parution: 2015
Editeur: Springer International Publishing

Livre dans la base de données depuis 2015-09-13T18:04:15+02:00 (Paris)
Page de détail modifiée en dernier sur 2024-04-17T14:05:26+02:00 (Paris)
ISBN/EAN: 9783319229744

ISBN - Autres types d'écriture:
3-319-22974-5, 978-3-319-22974-4
Autres types d'écriture et termes associés:
Auteur du livre: sankaran, sankara, sriram
Titre du livre: analysis, time form form time, spain madrid

Données de l'éditeur

Auteur: Sriram Sankaranarayanan; Enrico Vicario
Titre: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
Editeur: Springer; Springer International Publishing
321 Pages
Date de parution: 2015-08-12
Cham; CH
Imprimé / Fabriqué en
Poids: 5,037 kg
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
X, 321 p. 90 illus.

BC; Computation by Abstract Devices; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Automata; Cyber-physical Systems; Formal Methods; Real-time Systems; Verification; Analysis; Automata Theory; Automatic Verification; Constraint Solving; Hybrid Systems; Model Checking; Modeling; Petri Nets; Quantitative Analysis; Reversible Computations; Stability; Temporal Logic; Theory of Computation; Timed Automata; Timed Systems; Logics and Meanings of Programs; Software Engineering; Computer Applications; Mathematical Logic and Formal Languages; Theory of Computation; Computer Science Logic and Foundations of Programming; Software Engineering; Computer and Information Systems Applications; Formal Languages and Automata Theory; Software Engineering; Angewandte Informatik; EA

This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015.

This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015.


< pour archiver...