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…
hive.co.uk No. 9783662460818. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise Details... |
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…
Orellfuessli.ch No. 44258805. Frais d'envoiZzgl. Versandkosten. (EUR 15.88) Details... |
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…
Springer.com new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise Details... |
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…
Hugendubel.de No. 25411278 Frais d'envoizzgl. Versandkosten, Livraison non-comprise Details... |
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
hive.co.uk No. 9783662460818. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise Details... |
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…
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…
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…
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…
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
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)
- 9783031249495 Verification, Model Checking, and Abstract Interpretation (Cezara Dragoi; Michael Emmi; Jingbo Wang)
- 9783030393212 Verification, Model Checking, and Abstract Interpretation (Dirk Beyer; Damien Zufferey)
- 9783030670665 Verification, Model Checking, and Abstract Interpretation (Fritz Henglein; Sharon Shoham; Yakir Vizel)
- 9783319737218 Verification, Model Checking, and Abstract Interpretation (Isil Dillig; Jens Palsberg)
- 9783030112448 Verification, Model Checking, and Abstract Interpretation (Constantin Enea; Ruzica Piskac)
- 9783319737201 Verification, Model Checking, and Abstract Interpretation (Isil Dillig; Jens Palsberg)
- 9783319522333 Verification, Model Checking, and Abstract Interpretation (Ahmed Bouajjani; David Monniaux)
- Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings ... Science Book 9583) (English Edition) (Kenneth McMillan)
< pour archiver...