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 Nature Switzerland AG
SKU: 25366158
Price: 85.89 EUR
Availability: InStock
Author: Dirk Beyer
ISBN: 9783030393212

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings

Dirk Beyer

Damien Zufferey

Sprache

Englisch

Buch Broschur

Libristo-Code: 25366158

Verlag Springer Nature Switzerland AG, Februar 2020

This book constitutes the proceedings of the 21st International Conference on Verification, Model Ch... Vollständige Beschreibung

Libristo-Code: 25366158

210 b

85.89 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Osteosintesis Ilizarov

Hardcover

74.39 €

Eyes for the Blind Devlin Audio

Audio CD

14.89 €

За гранью японских свечей: Новые японские методы графического анализа Steve Nison

Hardcover

25.89 €

Pat Metheny - Travels Pat Metheny

Audio CD

26.19 €

Subprime, Hypotheken und faule Kredite - Alles klar?! Julia Schweizer

Broschur

47.95 €

A csíkos pizsamás fiú John Boyne

Broschur

7.79 €

REMBRANDT Jan Blanc

Buch

252.39 €

Puzzle 1000 CherryPazzi Lavender Muse 31094

Puzzle

9.29 €

Dr zwitser en de kerstman Wasterlain Buch

Hardcover

7.99 €

IRON MAIDEN Morceaux d'esprits Philippe Petesch

Hardcover

40.39 €

Co robić gdy się martwisz Huebner Dawn

Broschur

8.39 €

POEMAS EMILY DICKINSON

Hardcover

14.29 €

Simon George Sand

Broschur

10.69 €

Quellen zur Geschichte des Untergangs livlandischer Selbstandigkeit C. Schirren

Broschur

43.90 €

Textaufgaben lösen 5.-7. Klasse Haupt-/Mittelschule Walter Modschiedler

Broschur

17.95 €

Citogematologicheskoe issledovanie ryb pri vozdejstvii tyazhelyh metallov Naida Abdullaeva

Broschur

46.59 €

Grenzen-Los! Fokus Gemeinde Herbert Ammann

Broschur

35.69 €

Histoire de Charles XIV (Jean Bernadotte), Roi de Suede Et de Norvege. Tome 3 Georges Touchard-Lafosse

Broschur

35.29 €

Notes pour servir a l'histoire de la Commune de Vandenesse (Nievre) (Ed.1874) Victor Gueneau

Broschur

16.09 €

Bach, Johann Sebastian - Toccaten BWV 910-916 Johann Sebastian Bach

Noten

27.50 €

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

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 Dirk Beyer, Damien Zufferey

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2020

Anzahl der Seiten 471

EAN 9783030393212

Libristo-Code 25366158

Verlag Springer Nature Switzerland AG

Gewicht 741

Abmessungen 155 x 235 x 27

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung

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