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

12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Hardware and Software: Verification and Testing Roderick Bloem
Libristo-Code: 15194770
Verlag Springer International Publishing AG, November 2016
This book constitutes the refereed proceedings of the 12th International Haifa Verification Conferen... Vollständige Beschreibung
? points 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

As designacoes toponimicas em Terras do sem fim, de Jorge Amado Ribeiro De Queiroz Rita De Cassia / Buch Broschur
common.buy 22.49 €
Demnächst
Le sexe polémique - Quand la paranoïa s'empare des campus américains Kipnis / Buch Broschur
common.buy 28.39 €
żQué es la ilustración? / What is Enlightenment? Immanuel Kant / Buch Broschur
common.buy 16.79 €
Mustangs Bousquet / Buch Broschur
common.buy 17.59 €
Algebre N. Bourbaki / Buch Broschur
common.buy 60.39 €
Pilates Anatomie Rael Isacowitz / Buch Broschur
common.buy 26.00 €
Gottfried Achenwall, Ius naturae in usum auditorum Alexander Aichele / Buch Hardcover
common.buy 274.99 €
Un bateau pour l'enfer Gilbert Sinoué / Buch Broschur
common.buy 12.89 €
Cahier d'exercices Pose tes limites, trouve la paix Nedra Glover Tawwab / Buch Broschur
common.buy 23.69 €
Comunicación oral y escrita en la empresa Ricardo Herrero Domingo / Buch Broschur
common.buy 15.19 €
Passiflora Bettina Ulmer / Buch Broschur
common.buy 15.90 €
Wprowadzenie do siatki Bhasker Dr Rajnish Bhasker / Buch Broschur
common.buy 37.29 €
Els Nostres Disla Sanz / Buch Broschur
common.buy 15.99 €
Ab durch die Hecke, 1 DVD Tim Johnson / Video DVD
common.buy 12.69 €
Lektury - liceum i technikum -epika Sylwia Oszczyk / Buch Broschur
common.buy 17.99 €
Mosaik Sammelband - Die Fahrt nach Karnak Klaus D. Schleiter / Buch Broschur
common.buy 16.39 €
Beitrage Zur Feineren Anatomie Der Medulla Oblongata Und Der Brucke (1894) August Cramer / Buch Broschur
common.buy 22.99 €
Ofertas gastronómicas sencillas y sistemas de aprovisionamiento : gestión de modelos de restauración Irene Magdalena Fernández / Buch Broschur
common.buy 26.19 €
Técnico en Farmacia del Servicio Andaluz de Salud. Temario específico. Editores / Buch Broschur
common.buy 49.79 €
Friedrich Schiller Peter-André Alt / Buch Broschur
common.buy 10.29 €
Echo Terry Moore / Buch Broschur
common.buy 18.95 €
Chronique de la régence et du r?gne de Louis 15 (1718-1763); ou, Journal de Barbier, avocat au Parlement de Paris. 1. éd. compl?te, conforme au manusc Edmond Jean Francois Barbier / Buch Hardcover
common.buy 41.59 €
Pronostic Et Traitement de l'Epilepsie, Succes Remarquables LEGRAND DU SAULLE-H / Buch Broschur
common.buy 14.19 €

This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems.

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 Roderick Bloem, Eli Arbel
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2016
Anzahl der Seiten 211
EAN 9783319490519
ISBN 3319490516
Libristo-Code 15194770
Verlag Springer International Publishing AG
Gewicht 3518
Abmessungen 155 x 235 x 14

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

Functionalization of CVD Graphene via electro-grafting for gas sensor Ghufran ur Rehman / Buch Broschur
common.buy 46.59 €
Only the People Can Save the People Donald V. Kingsbury / Buch Broschur
common.buy 41.09 €
The Last Town on Earth Thomas Mullen / Buch Broschur
common.buy 14.69 €
Student Solutions Manual to accompany Functions Modeling Change Eric Connally / Buch Broschur
common.buy 89.79 €
The New Healthy Bread in Five Minutes a Day: Revised and Updated with New Recipes Jeff Hertzberg / Buch Hardcover
common.buy 31.49 €
Thinline Bible-OE-Personal Size Kjver Whitaker House / Buch Buch
common.buy 41.89 €
Nola the Nurse(R) & Friends Explore the Holi Fest Dr. Scharmaine L. Baker / Buch Hardcover
common.buy 17.19 €
Redefining Capitalism in Global Economic Development Kui-Wai Li / Buch Broschur
common.buy 56.09 €
Greyhound Nation Edmund Russell / Buch Broschur
common.buy 36.39 €
Narcocultura: A Threat to Mexican National Security Naval Postgraduate School / Buch Broschur
common.buy 15.39 €
Let's Pretend Chefs Kitchen Roger Priddy / Buch Hardcover
common.buy 16.89 €
Tale of Two Cities Charles Dickens / Buch Broschur
common.buy 9.19 €
The Extraordinary Makeover: Hidden Expressions Of The Every Day Woman Lorie P Woodruff / Buch Broschur
common.buy 16.59 €
Miscreants The Hell's Gate Series Book 3 Jennifer Pierce-Gaeta / Buch Broschur
common.buy 10.69 €
Staying Human Neil Astley / Buch Broschur
common.buy 14.69 €
Investing for Beginners: Escape The 9-5 Rat Race Through Investing Sam Sutton / Buch Broschur
common.buy 13.89 €
Evelina's Garden (1899) Mary Eleanor Wilkins / Buch Hardcover
common.buy 38.69 €
The Prophets Robert Jones Jr. / Buch Broschur
common.buy 19.39 €
Wild Guide Andalucia EDWINA PITCHER / Buch Broschur
common.buy 21.99 €
The Best American Poetry 2022 Matthew Zapruder / Buch Broschur
common.buy 16.59 €
First Steps in SDL Game Development Frahaan Hussain / Buch Broschur
common.buy 28.89 €
BTS ZAMBELLO FILIPPO / Buch Hardcover
common.buy 14.99 €
Neu
Henry VI, Part II William Shakespeare / Buch Broschur
common.buy 9.19 €
Dictionary Of The Choctaw Language Cyrus Byington / Buch Broschur
common.buy 42.59 €

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?