- 5 Ergebnisse
Kleinster Preis: € 57,63, größter Preis: € 74,99, Mittelwert: € 67,49
1
Bestellen
bei lehmanns.de
€ 68,39
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Josh Berdine; Roberto Giacobazzi; Isabella Mastroeni:

Verification, Model Checking, and Abstract Interpretation - neues Buch

2013, ISBN: 9783642358739

14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings, eBooks, eBook Download (PDF), This book constitutes the refereed proceedings of the 14th Internat… Mehr…

Versandkosten:Download sofort lieferbar. (EUR 0.00)
zuklappen (X)
2
Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings - Adam Bobrowski
Bestellen
bei hive.co.uk
£ 50,99
(ca. € 57,63)
Bestellen
Details und Versand
gesponserter Link

Adam Bobrowski:

Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings - neues Buch

2013, ISBN: 9783642358739

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in Janua… Mehr…

No. 9783642358739. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
zuklappen (X)
3
Verification, Model Checking, and Abstract Interpretation - Springer
Bestellen
bei Thalia.de
€ 74,89
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Springer:
Verification, Model Checking, and Abstract Interpretation - neues Buch

2013

ISBN: 9783642358739

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in Janua… Mehr…

Nr. 44359226. Versandkosten:, Sofort per Download lieferbar, DE. (EUR 0.00)
zuklappen (X)
4
Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings - Julia A. B. Hegewald
Bestellen
bei hive.co.uk
£ 54,40
(ca. € 61,57)
Bestellen
Details und Versand
gesponserter Link
Julia A. B. Hegewald:
Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings - neues Buch

2013, ISBN: 9783642358739

; PDF; Computing > Computer programming / software development, SAGE Publications

No. 9783642358739. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
zuklappen (X)
5
Verification Model Checking and Abstract Interpretation
Bestellen
bei eBook.de
€ 74,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Verification Model Checking and Abstract Interpretation - neues Buch

2013, ISBN: 9783642358739

Verification Model Checking and Abstract Interpretation ab 74.99 EURO 14th International Conference VMCAI 2013 Rome Italy January 20-22 2013 Proceedings Medien > Bücher, [PU: Springer, Be… Mehr…

Nr. 25495174. Versandkosten:, , DE. (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:

9783642358739

Detailangaben zum Buch - Verification, Model Checking, and Abstract Interpretation


EAN (ISBN-13): 9783642358739
Erscheinungsjahr: 2013
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2016-12-08T16:36:53+01:00 (Zurich)
Detailseite zuletzt geändert am 2023-02-11T15:37:37+01:00 (Zurich)
ISBN/EAN: 9783642358739

ISBN - alternative Schreibweisen:
978-3-642-35873-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: hegewald

Daten vom Verlag:

Autor/in: Roberto Giacobazzi; Josh Berdine; Isabella Mastroeni
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Verification, Model Checking, and Abstract Interpretation - 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
Verlag: Springer; Springer Berlin
556 Seiten
Erscheinungsjahr: 2013-01-03
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XI, 556 p. 123 illus.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; automata; boolean solving; distributed verification; parameterized synthesis; program analysis; 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

The 27 revised full papers presented were carefully reviewed and selected from 72 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type system, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
Fast track conference proceedings Unique visibility State of the art research

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)

< zum Archiv...