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 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Hardware and Software: Verification and Testing

11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Hardware and Software: Verification and Testing Nir Piterman
Libristo-Code: 09925334
Verlag Springer International Publishing AG, Oktober 2015
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conferen... Vollständige Beschreibung
? points 127 b
51.69 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Psychologia Kluczowe koncepcje Tom 1 Podstawy psychologii Zimbardo Philip / Buch Broschur
common.buy 19.89 €
Sticker-Anziehpuppen Ballerina Eva Schindler / Buch Broschur
common.buy 8.09 €
Skopje / Buch Broschur
common.buy 12.95 €
Slor Eivor / Audio Audio CD
common.buy 19.59 €
Porsche Speedster, m. 1 DVD Philipp Novak / Buch Hardcover
common.buy 19.90 €
40 Baby Meilenstein-Karten für das 1. Lebensjahr für Mädchen und Junge. Baby Milestone Cards deutsch, zur Erinnerung der Entwicklung der ersten Monate Sophie Heisenberg / Buch Broschur
common.buy 9.85 €

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; veri cation of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain veri cation; synthesis.

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 Hardware and Software: Verification and Testing
Autor Nir Piterman
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2015
Anzahl der Seiten 293
EAN 9783319262864
ISBN 3319262866
Libristo-Code 09925334
Verlag Springer International Publishing AG
Gewicht 4745
Abmessungen 155 x 235 x 15

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
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

Top
Hidden Treasures in the Book of Job - How the Oldest Book in the Bible Answers Today`s Scientific Questions Hugh Ross / Buch Broschur
common.buy 16.49 €
Student's Guide to the Schroedinger Equation Daniel A. Fleisch / Buch Broschur
common.buy 30.79 €
Top
Mine Till Midnight Lisa Kleypas / Buch Broschur
common.buy 8.79 €
The Gift Richard Paul Evans / Audio Audio CD
common.buy 15.89 €
Designing Bots: Creating Conversational Experiences Amir Shevat / Buch Broschur
common.buy 28.19 €
Top
Hacker's Delight Henry Warren / Buch Hardcover
common.buy 57.49 €
Oxford First Dictionary Oxford Dictionaries / Buch Hardcover
common.buy 19.49 €
Florentine and the Treasures of the Snow Herb Stine / Buch Broschur
common.buy 10.99 €
Little Children's Pirate Activity Book Rebecca Gilpin / Buch Broschur
common.buy 12.29 €
Wheat Belly (Revised and Expanded Edition) William Davis / Buch Broschur
common.buy 16.49 €
Chaos Dan Piepenbring / Buch Broschur
common.buy 11.09 €
Top
Monster in His Eyes J M Darhower / Buch Broschur
common.buy 13.59 €
Otaku Food! Danielle Baghernejad / Buch Broschur
common.buy 25.09 €
Top
Girl and the Goddess Nikita Gill / Buch Hardcover
common.buy 14.69 €
Top
Hands Down Mariana Zapata / Buch Broschur
common.buy 20.09 €
Dead Mount Death Play, Vol. 5 Ryohgo Narita / Buch Broschur
common.buy 11.19 €
Top
Our Not-So-Lonely Planet Travel Guide, Volume 1 Mone Sorai / Buch Broschur
common.buy 11.69 €
Principios Cooperativistas Na Percepcao DOS Associados JACIARA XAV RIBEIRO / Buch Broschur
common.buy 71.69 €
Top
Peak Performance Table Tennis Kevin Finn / Buch Broschur
common.buy 18.09 €
Refractory Materials Faraday Society / Buch Broschur
common.buy 21.99 €
Statistics for the Trading Floor: Data Science for Investing Patrick Boyle / Buch Broschur
common.buy 27.59 €
Fairy and Fantasy Grayscale Coloring Book Christine Karron / Buch Broschur
common.buy 15.39 €
Top
The 100 Kass Morgan / Buch Broschur
common.buy 11.09 €
Top
In Search of Lost Time: Volume 2 Marcel Proust / Buch Broschur
common.buy 12.89 €

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?