2014, ISBN: 9783642540134
This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in… Mehr…
| Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
ISBN: 9783642540134
Computer Science; Logics and Meanings of Programs; Software Engineering; Computer Communication Networks; Mathematical Logic and Formal Languages; Computation by Abstract Devices; Artific… Mehr…
| Springer.com Versandkosten:zzgl. Versandkosten Details... |
Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings - neues Buch
2014, ISBN: 9783642540134
; PDF; Computing > Computer hardware > Network hardware, John Benjamins Publishing Company
| hive.co.uk No. 9783642540134. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings - neues Buch
2014, ISBN: 9783642540134
; PDF \ Jack T. Trevors; Computing > Computer hardware > Network hardware, Springer Berlin Heidelberg
| hive.co.uk No. 9783642540134 Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten Details... |
2014, ISBN: 9783642540134
15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg… Mehr…
| lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2014, ISBN: 9783642540134
This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in… Mehr…
Kenneth McMillan; Xavier Rival:
Verification, Model Checking, and Abstract Interpretation - neues BuchISBN: 9783642540134
Computer Science; Logics and Meanings of Programs; Software Engineering; Computer Communication Networks; Mathematical Logic and Formal Languages; Computation by Abstract Devices; Artific… Mehr…
2014, ISBN: 9783642540134
15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg… Mehr…
Bibliographische Daten des bestpassenden Buches
| Autor: | |
| Titel: | |
| ISBN-Nummer: |
Detailangaben zum Buch - Verification, Model Checking, and Abstract Interpretation
EAN (ISBN-13): 9783642540134
Erscheinungsjahr: 2014
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-04-18T22:03:45+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-08T20:00:06+01:00 (Berlin)
ISBN/EAN: 9783642540134
ISBN - alternative Schreibweisen:
978-3-642-54013-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: mcmillan, kuyper
Titel des Buches: abstract usa
Daten vom Verlag:
Autor/in: Kenneth McMillan; Xavier Rival
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Verlag: Springer; Springer Berlin
493 Seiten
Erscheinungsjahr: 2014-01-03
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XVIII, 493 p. 120 illus.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; SAT-solving; complexity; concurrency; embedded programs; parallelism; C; Computer Science Logic and Foundations of Programming; Software Engineering; Computer Communication Networks; Formal Languages and Automata Theory; Theory of Computation; Artificial Intelligence; Computer Science; Software Engineering; Netzwerk-Hardware; Künstliche Intelligenz; BC
Program verification.- Model checking.- Abstract interpretation and abstract domains.- Program synthesis.- Static analysis.- Type systems.- Deductive methods.- Program certification.- Debugging techniques.- Program transformation.- Optimization.- Hybrid and cyber-physical systems.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
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)
- 9783319522333 Verification, Model Checking, and Abstract Interpretation (Ahmed Bouajjani; David Monniaux)
- 9783319737201 Verification, Model Checking, and Abstract Interpretation (Isil Dillig; Jens Palsberg)
- 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)
< zum Archiv...