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
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.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 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

CARTE - LA NATURE EN HAUTE MONTAGNE Levi Walter YAGGY / Buch Buch
common.buy 22.79 €
Hory zpívají Phan Que Mai Nguyen / Buch Hardcover
common.buy 16.09 €
Morče Nataša Velenská / Buch Broschur
common.buy 6.79 €
KLIMATOLOGIE Émile H. Klouyo / Buch Broschur
common.buy 43.90 €
PRÄVENTIVE ZAHNMEDIZIN: DAMIT DAS LÄCHELN FREI VON VERLETZUNGEN BLEIBT SOUNDARYA PRABHAKAR / Buch Broschur
common.buy 43.90 €
Técnicas n?o-farmacológicas de gest?o do comportamento Anil Gupta / Buch Broschur
common.buy 40.99 €
Io e il mio amico Gesù facciamo tante cose assieme. La comunione Bruno Ferrero / Buch Broschur
common.buy 9.69 €
Bleigewitter über Cinecitt? Christian Keßler / Buch Hardcover
common.buy 36.00 €
Plaster Czarownicy i inne baśnie Małgorzata Strzałkowska / Buch Hardcover
common.buy 8.19 €
SOLA GURT / Buch Broschur
common.buy 19.59 €
Atención Sociosanitaria a personas en el domicilio.Atención domiciliaria y alimentación familiar. Ce EDAE / Buch Broschur
common.buy 24.29 €
TEKIS GOMEZ / Buch Hardcover
common.buy 19.89 €
Un coup de dés jamais n'abolira le hasard Stéphane Mallarmé / Buch binding.
common.buy 19.49 €
Donc Vous Avez Un Ami Invisible: (Ne voir aucun dieu, n'entendre aucun dieu, ne parler ? aucun dieu) Nancy Phillips / Buch Broschur
common.buy 10.49 €
Secme Dünya Öyküleri Jorge Luis Borges / Buch Broschur
common.buy 16.00 €
Valorisation de soja: « tofu, farine infantile » José Tahina Ranaivotrimo / Buch Broschur
common.buy 57.69 €
Christoph Columbus Jakob Wassermann / Buch Broschur
common.buy 19.91 €
Die Ritter von Heliopolis. Band 3 Alejandro Jodorowsky / Buch Hardcover
common.buy 16.00 €
Besser hausgemacht mit dem Thermomix® Doris Muliar / Buch Broschur
common.buy 14.99 €
30 Jahre Nachhilfe in 60 Minuten Ulf - C. Roggendorff / Buch Broschur
common.buy 12.00 €
Cuento-juego. Los tres cerditos NICOLETTA CODIGNOLA / Buch Broschur
common.buy 15.39 €
Técnicas de relajación creativa y emocional Mónica Pintanel Bassets / Buch Broschur
common.buy 22.39 €
Weg Ins Heim Trendb Uro / Buch Broschur
common.buy 39.99 €

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 80.59 €
Group FEIGEL LARA / Buch Broschur
common.buy 10.59 €
MEE Questions Book 2 Celebration Bar Review LLC / Buch Broschur
common.buy 91.39 €
The Princess and the Pea Hans Christian Andersen / Buch Broschur
common.buy 13.90 €
Botanic Garden. Part II. Containing the Loves of the Plants. A Poem. With Philosophical Notes. Volume the Second. The Fourth Edition. of 2; Volume 2 ERASMUS DARWIN / Buch Hardcover
common.buy 31.29 €
Advances in Growth Curve and Structural Equation Modeling Ratan Dasgupta / Buch Hardcover
common.buy 53.79 €
Treatise on Grand Military Operations as Contrasted with the Modern System Samuel Beckley Holabird / Buch Broschur
common.buy 29.89 €
Do You Dream of Terra-Two? Temi Oh / Buch Broschur
common.buy 13.79 €
Demnächst
Print Proceedings of the IMECE International Mechanical Engineering Congress & Exposition (IMECE2018): Volume 1 ASME / Buch Broschur
common.buy 140.79 €
Feasibility Study Majura Jackson G. Majura / Buch Broschur
common.buy 35.89 €
Top
Trapped in a Video Game: The Complete Series Dustin Brady / Buch Broschur
common.buy 39.69 €
A K-Pop Love Story H.G Samarasinghe / Buch Broschur
common.buy 12.89 €
3 little sisters Radha Bamania / Buch Broschur
common.buy 9.69 €
Soft Computing as Transdisciplinary Science and Technology Ajith Abraham / Buch Broschur
common.buy 203.47 €
Artificial Intelligence Enabled Computational Methods for Smart Grid Forecast and Dispatch Zhigang Zeng / Buch Broschur
common.buy 171.59 €
KOREAN WORD SEARCH - LEVEL OF DIFFICULTY DELTA CLASSICS / Buch Broschur
common.buy 10.49 €
Katherine Mansfield: New Directions GASSTON AIMEE / Buch Hardcover
common.buy 151.79 €
The Diabolical Bones Bella Ellis / Buch Broschur
common.buy 19.00 €
Top
Invisible Women: Data Bias in a World Designed for Men CRIADO PEREZ CAROLINE / Buch Broschur
common.buy 15.99 €
Japanese Fairy Tale Series D. Thomson / Buch Broschur
common.buy 11.09 €
Works of Ophra Behn Montague Summers / Buch Hardcover
common.buy 60.49 €
American English File: Level 4: Workbook Latham-Koenig / Buch Broschur
common.buy 39.59 €
Top
Harry Potter Slytherin House Editions Hardback Box Set Joanne K. Rowling / Buch Hardcover
common.buy 195.69 €
In at the Death Francis Duncan / Hörbuch MP3
common.buy 7.49 €

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?