Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer
SKU: 40997221
Price: 62.29 EUR
Availability: InStock
Author: Constantin Enea
ISBN: 9783030112455

20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings

Constantin Enea

Ruzica Piskac

Sprache

Englisch

E-Book Adobe ePub DRM

Libristo-Code: 40997221

Verlag Springer, Jänner 2019

This book constitutes the refereed proceedings of the 20th International Conference on Verification,... Vollständige Beschreibung

Libristo-Code: 40997221

152 b

62.29 € inkl. MwSt.

Verfügbar Sofort herunterladbar

Kunden kauften auch

肚子隆隆 的 地震 (Cantonese Edition): 地震安全手冊 Heather L. Beal

Broschur

11.19 €

This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides topics including: 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, and hybrid and cyber-physical systems.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Verification, Model Checking, and Abstract Interpretation

Autor Constantin Enea, Ruzica Piskac

Sprache

Englisch

Einband E-Book - Adobe ePub DRM

Datum der Veröffentlichung 2019

EAN 9783030112455

Libristo-Code 40997221

Verlag Springer

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering > Softwaretests und Prüfsoftware

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert