- 5 Résultats
prix le plus bas: € 53,16, prix le plus élevé: € 66,06, prix moyen: € 57,35
1
Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings - Johannes Zschocke
Commander
sur hive.co.uk
£ 46,74
(environ € 53,16)
Commander
Détails et expédition
Lien sponsorisé
Johannes Zschocke:

Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings - nouveau livre

2015, ISBN: 9783662460818

This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in Jan… Plus…

No. 9783662460818. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise
fermer(X)
2
Verification, Model Checking, and Abstract Interpretation - Springer
Commander
sur Orellfuessli.ch
CHF 74,90
(environ € 66,06)
Envoi: € 15,881
Commander
Détails du fournisseur
Lien sponsorisé

Springer:

Verification, Model Checking, and Abstract Interpretation - nouveau livre

2015, ISBN: 9783662460818

This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in Jan… Plus…

  - No. 44258805. Frais d'envoiZzgl. Versandkosten. (EUR 15.88)
fermer(X)
3
Verification, Model Checking, and Abstract Interpretation - Deepak D'Souza; Akash Lal; Kim Guldstrand Larsen
Commander
sur Springer.com
€ 53,54
Commander
Détails et expédition
Lien sponsorisé
Deepak D'Souza; Akash Lal; Kim Guldstrand Larsen:
Verification, Model Checking, and Abstract Interpretation - nouveau livre

2015

ISBN: 9783662460818

This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in Jan… Plus…

  - new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
fermer(X)
4
Verification, Model Checking, and Abstract Interpretation als eBook Download von
Commander
sur Hugendubel.de
€ 57,99
Commander
Détails et expédition
Lien sponsorisé
Verification, Model Checking, and Abstract Interpretation als eBook Download von - nouveau livre

2015, ISBN: 9783662460818

Verification, Model Checking, and Abstract Interpretation:16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings Verification, Model Checking, and Abst… Plus…

  - No. 25411278 Frais d'envoizzgl. Versandkosten, Livraison non-comprise
fermer(X)
5
Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings - Peter J.D. Wiles
Commander
sur hive.co.uk
£ 49,30
(environ € 55,99)
Commander
Détails et expédition
Lien sponsorisé
Peter J.D. Wiles:
Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings - nouveau livre

2015, ISBN: 9783662460818

; PDF; Computing > Computer programming / software development, Springer Netherlands

No. 9783662460818. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise
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
Verification, Model Checking, and Abstract Interpretation
Auteur:
Titre:
ISBN:

9783662460818

Informations détaillées sur le livre - Verification, Model Checking, and Abstract Interpretation


EAN (ISBN-13): 9783662460818
Date de parution: 2015
Editeur: Deepak D´Souza#Akash Lal#Kim Gulstrand Larsen

Livre dans la base de données depuis 2016-08-12T16:05:11+02:00 (Paris)
Page de détail modifiée en dernier sur 2023-04-14T13:04:58+02:00 (Paris)
ISBN/EAN: 9783662460818

ISBN - Autres types d'écriture:
978-3-662-46081-8
Autres types d'écriture et termes associés:
Auteur du livre: larsen, souza, zschocke, wiles peter

Données de l'éditeur

Auteur: Deepak D'Souza; Akash Lal; Kim Guldstrand Larsen
Titre: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Editeur: Springer; Springer Berlin
468 Pages
Date de parution: 2014-12-11
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XVIII, 468 p. 102 illus.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; SAT-solvers; bisimulations; complexity; concurrency; embedded software; formal verification; graph transformation; hybrid systems; model checking; parallelism; privacy; simulations; stability analysis; static analysis; static verification; C; Computer Science Logic and Foundations of Programming; Software Engineering; Computer Communication Networks; Formal Languages and Automata Theory; Theory of Computation; Compilers and Interpreters; Computer Science; Software Engineering; Netzwerk-Hardware; Compiler und Übersetzer; BC

Program verification.- Model checking.- Abstract interpretation.- Abstract domains.- Program synthesis.- Static analysis.- Deductive methods.- Program certification.- Error diagnosis.- Program transformation.- Hybrid and cyberphysical systems.
Up-to-date results Fast track conference proceedings State-of-the-art report

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9783031249495 Verification, Model Checking, and Abstract Interpretation (Cezara Dragoi; Michael Emmi; Jingbo Wang)

< pour archiver...