- 5 Résultats
prix le plus bas: € 40,99, prix le plus élevé: € 69,54, prix moyen: € 57,00
1
Formal Modeling and Analysis of Timed Systems - Gilles Geeraerts
Commander
sur AbeBooks.de
€ 53,49
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Gilles Geeraerts:

Formal Modeling and Analysis of Timed Systems - Livres de poche

2017, ISBN: 331965764X

[EAN: 9783319657646], Neubuch, [PU: Springer International Publishing Aug 2017], AUTOMATENTHEORIE; TIMEDAUTOMATA; COMNPUTERSOFTWARESELECTION; ALGORITHMANALYSISANDPROBLEMCOMPLEXITY; SOFTWA… Plus…

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)]
fermer(X)
2
Formal Modeling and Analysis of Timed Systems - Herausgegeben:Abate, Alessandro; Geeraerts, Gilles
Commander
sur booklooker.de
€ 40,99
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé

Herausgegeben:Abate, Alessandro; Geeraerts, Gilles:

Formal Modeling and Analysis of Timed Systems - Livres de poche

2017, ISBN: 9783319657646

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

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
fermer(X)
3
Formal Modeling and Analysis of Timed Systems - Abate, Alessandro|Geeraerts, Gilles
Commander
sur AbeBooks.de
€ 62,02
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Abate, Alessandro|Geeraerts, Gilles:
Formal Modeling and Analysis of Timed Systems - Livres de poche

2017

ISBN: 331965764X

[EAN: 9783319657646], Neubuch, [PU: Springer International Publishing], AUTOMATENTHEORIE SOFTWAREENGINEERING SEMANTICS MODELCHECKING SPECIFICATIONS TIMEDAUTOMATA COMNPUTERSOFTWARESELECTIO… 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 - Abate, Alessandro Geeraerts, Gilles
Commander
sur booklooker.de
€ 58,95
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Abate, Alessandro Geeraerts, Gilles:
Formal Modeling and Analysis of Timed Systems - Première édition

2017, ISBN: 9783319657646

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 - Alessandro Abate; Gilles Geeraerts
Commander
sur lehmanns.de
€ 69,54
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Alessandro Abate; Gilles Geeraerts:
Formal Modeling and Analysis of Timed Systems - Première édition

2017, ISBN: 9783319657646

Livres de poche

15th International Conference, FORMATS 2017, Berlin, Germany, September 5?7, 2017, Proceedings, Buch, Softcover, 1st ed. 2017, [PU: Springer International Publishing], Springer Internatio… 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:

9783319657646

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


EAN (ISBN-13): 9783319657646
ISBN (ISBN-10): 331965764X
Version reliée
Livre de poche
Date de parution: 2017
Editeur: Springer International Publishing

Livre dans la base de données depuis 2017-07-23T18:00:31+02:00 (Paris)
Page de détail modifiée en dernier sur 2023-08-02T19:42:59+02:00 (Paris)
ISBN/EAN: 9783319657646

ISBN - Autres types d'écriture:
3-319-65764-X, 978-3-319-65764-6
Autres types d'écriture et termes associés:
Auteur du livre: geer, abate, berlin germany, geeraerts
Titre du livre: analysis, time form form time, notes berlin

Données de l'éditeur

Auteur: Alessandro Abate; Gilles Geeraerts
Titre: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings
Editeur: Springer; Springer International Publishing
353 Pages
Date de parution: 2017-08-03
Cham; CH
Imprimé / Fabriqué en
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
X, 353 p. 93 illus.

BC; Hardcover, Softcover / Mathematik/Wahrscheinlichkeitstheorie, Stochastik, Mathematische Statistik; Algorithmen und Datenstrukturen; Verstehen; software engineering; semantics; model checking; specifications; timed automata; comnputer software selection; algorithm analysis and problem complexity; Algorithms; Software Engineering; Compilers and Interpreters; Computer Modelling; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Software Engineering; Compiler und Übersetzer; Computermodellierung und -simulation; Theoretische Informatik; EA

Hybrid systems.- Probabilistic models.- Quantitative logics and monitoring.- Reachability Analysis.- Testing and simulation. 
Includes supplementary material: sn.pub/extras
< pour archiver...