Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer Nature Switzerland AG
SKU: 24027841
Price: 53.79 EUR
Availability: InStock
Author: Isil Dillig
ISBN: 9783030255398

Isil Dillig

Serdar Tasiran

Sprache

Englisch

Buch Broschur

Libristo-Code: 24027841

Verlag Springer Nature Switzerland AG, Juli 2019

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31s... Vollständige Beschreibung

Libristo-Code: 24027841

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Plaster Czarownicy i inne baśnie Małgorzata Strzałkowska

Hardcover

11.19 €

LP! JPEGMAFIA Audio

Audio Vinyl

51.69 €

Bleigewitter über Cinecitt? Christian Keßler

Hardcover

36.00 €

Hory zpívají Phan Que Mai Nguyen

Hardcover

16.09 €

KLIMATOLOGIE Émile H. Klouyo

Broschur

43.90 €

Besser hausgemacht mit dem Thermomix® Doris Muliar

Broschur

14.99 €

30 Jahre Nachhilfe in 60 Minuten Ulf - C. Roggendorff

Broschur

11.99 €

Valorisation de soja: « tofu, farine infantile » José Tahina Ranaivotrimo

Broschur

57.69 €

Atención Sociosanitaria a personas en el domicilio.Atención domiciliaria y alimentación familiar. Ce EDAE

Broschur

26.49 €

TEKIS GOMEZ

Hardcover

29.09 €

Cuento-juego. Los tres cerditos NICOLETTA CODIGNOLA

Broschur

16.99 €

Morče Nataša Velenská

Broschur

6.79 €

Weg Ins Heim Trendb Uro

Broschur

39.99 €

Christoph Columbus Jakob Wassermann

Broschur

19.90 €

Donc Vous Avez Un Ami Invisible: (Ne voir aucun dieu, n'entendre aucun dieu, ne parler ? aucun dieu) Nancy Phillips

Broschur

11.59 €

Secme Dünya Öyküleri Jorge Luis Borges

Broschur

16.79 €

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented toget

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 Computer Aided Verification

Autor Isil Dillig, Serdar Tasiran

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2019

Anzahl der Seiten 673

EAN 9783030255398

ISBN 3030255395

Libristo-Code 24027841

Verlag Springer Nature Switzerland AG

Gewicht 1050

Abmessungen 155 x 235 x 38

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Computermodellierung und -simulation

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

EDV und Informationstechnologie > Computernetzwerke und maschinelle Kommunikation

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