2019, ISBN: 9783030112448
[ED: Softcover], [PU: Springer / Springer International Publishing / Springer, Berlin], This book constitutes the refereed proceedings of the 20th International Conference on Verification… Mehr…
booklooker.de |
2019, ISBN: 9783030112448
20th International Conference, VMCAI 2019, Cascais, Portugal, January 13?15, 2019, Proceedings, Buch, Softcover, 1st ed. 2019, This book constitutes the refereed proceedings of the 20th I… Mehr…
lehmanns.de Versandkosten:sofort lieferbar. (EUR 13.95) Details... |
2019, ISBN: 9783030112448
Paperback, [PU: Springer Nature Switzerland AG], This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpre… Mehr…
BookDepository.com Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
2001, ISBN: 9783030112448
[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract … Mehr…
booklooker.de |
2019, ISBN: 9783030112448
20th International Conference, VMCAI 2019, Cascais, Portugal, January 13?15, 2019, Proceedings, Buch, Softcover, 1st ed. 2019, [PU: Springer International Publishing], Springer Internatio… Mehr…
lehmanns.de Versandkosten:sofort lieferbar. (EUR 0.00) Details... |
2019, ISBN: 9783030112448
[ED: Softcover], [PU: Springer / Springer International Publishing / Springer, Berlin], This book constitutes the refereed proceedings of the 20th International Conference on Verification… Mehr…
Constantin Enea; Ruzica Piskac:
Verification, Model Checking, and Abstract Interpretation - Taschenbuch2019, ISBN: 9783030112448
20th International Conference, VMCAI 2019, Cascais, Portugal, January 13?15, 2019, Proceedings, Buch, Softcover, 1st ed. 2019, This book constitutes the refereed proceedings of the 20th I… Mehr…
2019
ISBN: 9783030112448
Paperback, [PU: Springer Nature Switzerland AG], This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpre… Mehr…
2001, ISBN: 9783030112448
[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract … Mehr…
2019, ISBN: 9783030112448
20th International Conference, VMCAI 2019, Cascais, Portugal, January 13?15, 2019, Proceedings, Buch, Softcover, 1st ed. 2019, [PU: Springer International Publishing], Springer Internatio… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Verification, Model Checking, and Abstract Interpretation
EAN (ISBN-13): 9783030112448
ISBN (ISBN-10): 3030112446
Taschenbuch
Erscheinungsjahr: 2019
Herausgeber: Springer International Publishing
Buch in der Datenbank seit 2018-12-15T15:56:12+01:00 (Berlin)
Detailseite zuletzt geändert am 2021-09-26T07:30:26+02:00 (Berlin)
ISBN/EAN: 9783030112448
ISBN - alternative Schreibweisen:
3-030-11244-6, 978-3-030-11244-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: leo constantin
Daten vom Verlag:
Autor/in: Constantin Enea; Ruzica Piskac
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
Verlag: Springer; Springer International Publishing
602 Seiten
Erscheinungsjahr: 2019-01-11
Cham; CH
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XVII, 602 p. 1329 illus., 69 illus. in color.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; formal methods; model checking; software verification; automated static analysis; logic and verification; abstraction; verification by model checking; hoare logic; separation logic; program reasoning; Computer Science Logic and Foundations of Programming; Software Engineering; Computer Communication Networks; Software Engineering; Netzwerk-Hardware; EA
Program verification.- Model checking.- Abstract interpretation.- Program synthesis.- Static analysis.- Type systems.- Deductive methods.- Program certification.- Decision procedures.- Theorem proving.- 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:
9783030112455 Verification, Model Checking, and Abstract Interpretation (Constantin Enea; Ruzica Piskac)
- 9783030112455 Verification, Model Checking, and Abstract Interpretation (Constantin Enea; Ruzica Piskac)
- 9783030393212 Verification, Model Checking, and Abstract Interpretation (Dirk Beyer; Damien Zufferey)
- 9783030670665 Verification, Model Checking, and Abstract Interpretation (Fritz Henglein; Sharon Shoham; Yakir Vizel)
- 9783319737201 Verification, Model Checking, and Abstract Interpretation (Isil Dillig; Jens Palsberg)
- 9783540781622 Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings: 4905 (Lecture Notes in Computer Science, 4905) (Francesco Logozzo; Doron A. Peled; Leonore D. Zuck)
< zum Archiv...