Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €
phone Kontakt phoneWie einkaufen

Computer Aided Verification

Sprache EnglischEnglisch
Buch Broschur
Buch Computer Aided Verification Isil Dillig
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
? points 125 b
51.75 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Plaster Czarownicy i inne baśnie Małgorzata Strzałkowska / Buch Hardcover
common.buy 10.12 €
LP! JPEGMAFIA Audio Audio Vinyl
common.buy 50.02 €
Bleigewitter über Cinecitt? Christian Keßler / Buch Hardcover
common.buy 30.37 €
Hory zpívají Phan Que Mai Nguyen / Buch Hardcover
common.buy 16.30 €
KLIMATOLOGIE Émile H. Klouyo / Buch Broschur
common.buy 39.29 €
Besser hausgemacht mit dem Thermomix® Doris Muliar / Buch Broschur
common.buy 12.75 €
30 Jahre Nachhilfe in 60 Minuten Ulf - C. Roggendorff / Buch Broschur
common.buy 10.93 €
Valorisation de soja: « tofu, farine infantile » José Tahina Ranaivotrimo / Buch Broschur
common.buy 55.19 €
Atención Sociosanitaria a personas en el domicilio.Atención domiciliaria y alimentación familiar. Ce EDAE / Buch Broschur
common.buy 25.82 €
TEKIS GOMEZ / Buch Hardcover
common.buy 21.26 €
Cuento-juego. Los tres cerditos NICOLETTA CODIGNOLA / Buch Broschur
common.buy 16.50 €
Morče Nataša Velenská / Buch Broschur
common.buy 6.88 €
Weg Ins Heim Trendb Uro / Buch Broschur
common.buy 37.87 €
Christoph Columbus Jakob Wassermann / Buch Broschur
common.buy 17.92 €
Donc Vous Avez Un Ami Invisible: (Ne voir aucun dieu, n'entendre aucun dieu, ne parler ? aucun dieu) Nancy Phillips / Buch Broschur
common.buy 11.74 €
Secme Dünya Öyküleri Jorge Luis Borges / Buch Broschur
common.buy 16.20 €

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
Ewa Kasp
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

Das könnte Sie auch interessieren

Information Security Sokratis Katsikas / Buch Broschur
common.buy 77.37 €
Katherine Mansfield: New Directions GASSTON AIMEE / Buch Hardcover
common.buy 161.94 €
Marriage, Totemism and Religion: An Answer to Critics Lord Avebury / Buch Broschur
common.buy 33.21 €
MEE Questions Book 2 Celebration Bar Review LLC / Buch Broschur
common.buy 97.22 €
Advances in Growth Curve and Structural Equation Modeling Ratan Dasgupta / Buch Hardcover
common.buy 51.75 €
Do You Dream of Terra-Two? Temi Oh / Buch Broschur
common.buy 14.47 €
Feasibility Study Majura Jackson G. Majura / Buch Broschur
common.buy 38.68 €
Soft Computing as Transdisciplinary Science and Technology Ajith Abraham / Buch Broschur
common.buy 206.00 €
Group FEIGEL LARA / Buch Broschur
common.buy 12.85 €
3 little sisters Radha Bamania / Buch Broschur
common.buy 10.83 €
Top
Invisible Women: Data Bias in a World Designed for Men CRIADO PEREZ CAROLINE / Buch Broschur
common.buy 16.80 €
Works of Ophra Behn Montague Summers / Buch Hardcover
common.buy 57.92 €
OLD AMERICAN SONGS II CHANT AARON COPLAND / Drucksachen Noten
common.buy 5.16 €
The Wager and Other Stories Greg Sushinsky / Buch Broschur
common.buy 7.99 €
Top
Sex Differences in Intelligence Richard Lynn / Buch Broschur
common.buy 15.79 €
Neu
Privileged Brotherhoods Adam Howard / Buch Hardcover
common.buy 67.14 €
My Life Scott Ludwig / Buch Broschur
common.buy 23.79 €
Wolfsmund Kuji Mitsuhisa / Buch Broschur
common.buy 11.33 €
Radiographic Atlas of Skeletal Development of the Hand and Wrist Greulich / Buch Hardcover
common.buy 168.83 €
Cast of Shadows Ronnie Maasz / Buch Hardcover
common.buy 112.31 €
Omaha Beach Adrian R. Lewis / Buch Broschur
common.buy 47.80 €
Adolescent and the Cartel H G Nowland / Buch Broschur
common.buy 13.66 €
BioShock: Rapture John Shirley / Buch Broschur
common.buy 17.61 €
The Thin Black Line: True Stories by Black Law Enforcement Officers Policing America's Meanest Streets Hugh Holton / Buch Broschur
common.buy 15.99 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?