- 5 Ergebnisse
Kleinster Preis: € 62,99, größter Preis: € 89,65, Mittelwert: € 83,17
1
Bestellen
bei booklooker.de
€ 62,99
Bestellen
Details und Versand
gesponserter Link
Herausgegeben von Enea, Constantin Piskac, Ruzica:

Verification, Model Checking, and Abstract Interpretation - Taschenbuch

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…

Versandkosten:Zzgl. Versandkosten., zzgl. Versandkosten buecher.de GmbH & Co. KG
zuklappen (X)
2
Verification, Model Checking, and Abstract Interpretation - Constantin Enea; Ruzica Piskac
Bestellen
bei lehmanns.de
€ 87,73
Versand: € 13,951
Bestellen
Details beim Anbieter
gesponserter Link

Constantin Enea; Ruzica Piskac:

Verification, Model Checking, and Abstract Interpretation - Taschenbuch

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…

Versandkosten:sofort lieferbar. (EUR 13.95)
zuklappen (X)
3
Verification, Model Checking, and Abstract Interpretation - Constantin Enea
Bestellen
bei BookDepository.com
CHF 98,70
(ca. € 89,65)
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Constantin Enea:
Verification, Model Checking, and Abstract Interpretation - Taschenbuch

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…

Versandkosten:Versandkostenfrei. (EUR 0.00)
zuklappen (X)
4
Bestellen
bei booklooker.de
€ 87,73
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Constantin Enea:
Verification, Model Checking, and Abstract Interpretation - Taschenbuch

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…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buchversandmimpf2000
zuklappen (X)
5
Verification, Model Checking, and Abstract Interpretation - Constantin Enea; Ruzica Piskac
Bestellen
bei lehmanns.de
€ 87,73
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Constantin Enea; Ruzica Piskac:
Verification, Model Checking, and Abstract Interpretation - Taschenbuch

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…

Versandkosten:sofort lieferbar. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Verification, Model Checking, and Abstract Interpretation
Autor:
Titel:
ISBN-Nummer:

9783030112448

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.
< zum Archiv...