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 € Box Now 3.99 € ACS-Stelle 3.99 €
phone Kontakt phoneWie einkaufen

Computer Aided Verification

Sprache EnglischEnglisch
Buch Broschur
Buch Computer Aided Verification Rupak Majumdar
Libristo-Code: 16495654
Verlag Springer International Publishing AG, Juli 2017
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th Intern... Vollständige Beschreibung
? points 125 b
51.38 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Riconoscimento del modello nel processo di apprendimento Sanchez Casanova Ricardo Sanchez Casanova / Buch Broschur
common.buy 35.39 €
Fragmentari de Nova York 2010 Guinart López / Buch Broschur
common.buy 17.29 €
Pilzen begegnen Hans Manhart / Buch Broschur
common.buy 21.82 €
Torba bawełniana Wściekłe Wieszcze ecru / Buch binding.
common.buy 17.89 €
DIE POP-WELT Nicolas BALUTET / Buch Broschur
common.buy 54.00 €
Top
Puzzle Hello Kitty 1000 dílků / Spiel/Spielzeug Puzzle
common.buy 8.64 €
Conexiones FERNANDEZ FRAGA / Buch Broschur
common.buy 26.34 €
Uppgiften - erotiska noveller Cupido / Hörbuch MP3
common.buy 3.11 €
Promuovere la parit? di genere nel mercato del lavoro e la crescita economica Riana Navalona Ramonjamanana / Buch Broschur
common.buy 39.01 €
SILAS MARNER Eliot / Buch Broschur
common.buy 20.51 €
Soldaten Sönke Neitzel / Buch Broschur
common.buy 19.60 €
Das Geschworenengericht in der attischen Demokratie Verena Nöckel / Buch Broschur
common.buy 14.37 €
Geschichte eines Vampirs Thomas Neumann / Buch Broschur
common.buy 9.04 €
Amanda Und Eduard Sophie Mereau / Buch Broschur
common.buy 11.66 €
Geschichte der Freundschaft Michael Roes / Buch Hardcover
common.buy 23.22 €
Organisation von Systemen Bernhard Waszkewitz / Buch Broschur
common.buy 37.50 €
Los ojos mal colocados / Eyes Badly Placed Roberto Piumini / Buch Hardcover
common.buy 12.26 €
Bref essai de thérapie économique de groupe DENIS / Buch Hardcover
common.buy 9.04 €
Plays Hits Agogo Lutz Krajenski feat. Alana Alexander / Audio Audio CD
common.buy 18.81 €
Praxisphasen in der Lehrerbildung Axel Knüppel / Buch Broschur
common.buy 31.07 €
Etude d'une structure en béton armé et en charpente métallique Mariam Trigui / Buch Broschur
common.buy 58.32 €
Ripios Geográficos Antonio De Valbuena / Buch Broschur
common.buy 25.04 €
Ur Finlands Konstitutionella Historia, 1809-1863 (1898) Magnus Gottfrid Schybergson / Buch Broschur
common.buy 22.13 €
Arts Chimiques: Industrie Du Tabac (1867) Louis Grandeau / Buch Broschur
common.buy 21.12 €

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.

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 Rupak Majumdar, Viktor Kuncak
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2017
Anzahl der Seiten 623
EAN 9783319633893
ISBN 3319633899
Libristo-Code 16495654
Verlag Springer International Publishing AG
Gewicht 9591
Abmessungen 155 x 235 x 36

Kategorie

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
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

Das könnte Sie auch interessieren

Statistics without Tears Derek Rowntree / Buch Broschur
common.buy 13.87 €
Word Study in the Inclusive Secondary Classroom Melinda Leko / Buch Hardcover
common.buy 80.15 €
Holiday Heaven Cupido / Hörbuch MP3
common.buy 3.91 €
Portland Walter Fortner / Buch Broschur
common.buy 20.61 €
HOUGHTON MIFFLIN MATHMATICS Houghton Mifflin Company / Buch Broschur
common.buy 46.58 €
Raw Power Jackie Ashenden / Buch Broschur
common.buy 16.39 €
The Era of International Space Station Utilization: Perspectives on Strategy from International Research Leaders National Aeronautics and Administration / Buch Broschur
common.buy 16.49 €
List Building with Twitter: Book 9 of the Make Money Online Entrepreneur Seri Kip Piper / Buch Broschur
common.buy 7.03 €
Commonsense Shotgun Shooting with Fred Etchen Fred Etchen / Buch Hardcover
common.buy 42.85 €
Jesus Arise in this Nation: Prayer Book O'Neil Brown / Buch Broschur
common.buy 6.73 €
Great Whiskies DK / Buch Hardcover
common.buy 15.88 €
Dr. Cocktail Alex Ott / Buch Hardcover
common.buy 13.77 €
Top
The Land of Stories Set Chris Colfer / Buch Broschur
common.buy 49.07 €
Layman's Notebook Lester J Forrester / Buch Broschur
common.buy 11.25 €
Courage Beyond Fear Katie Day / Buch Broschur
common.buy 19.60 €
Report Of The Bureau Of Mines Of The Department Of Internal Affairs Of Pennsylvania Pennsylvania Bureau of Mines / Buch Hardcover
common.buy 45.87 €
Guinea Bissau Carlos Lopes / E-Book Adobe ePub DRM
common.buy 65.89 €
Shikimori's Not Just a Cutie 12 V12 / Buch Broschur
common.buy 11.05 €
How to Make Historic American Costumes Mary Evans / Buch Hardcover
common.buy 41.85 €
Fading Humans of Digital World: Balancing crisis of Personal, Corporate and Digital world Girish Joshi / Buch Broschur
common.buy 6.53 €
ICB, Holy Bible, Leathersoft, Brown Thomas Nelson / Buch Hardcover
common.buy 29.06 €
Abraham Lincoln Quarterly, Vol. 7, No. 2 Abraham Lincoln Association / Buch Broschur
common.buy 11.05 €
Art Maker Cozy Coloring Around Town / Buch Broschur
common.buy 12.46 €
Midnight on the Moon Graphic Novel Kelly Matthews / Buch Hardcover
common.buy 15.48 €

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?