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

Hardware and Software: Verification and Testing

8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Sprache EnglischEnglisch
Buch Broschur
Buch Hardware and Software: Verification and Testing Armin Biere
Libristo-Code: 01664050
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 2013
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verificatio... Vollständige Beschreibung
? points 103 b
41.89 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

101 vecí na hľadanie a nalepovanie Rozprávkové bytosti / Buch Broschur
common.buy 3.69 €
Problem der demokratischen Legitimation in foederalen Systemen Julia Schoeppenthau / Buch Broschur
common.buy 17.95 €
Heilige Maria, Mutter Gottes / Buch Blatt
common.buy 4.49 €
Die Umsetzung des NCV-Programms am Tshwane North FET College Kaizer Raseane Makole / Buch Broschur
common.buy 54.90 €
Schody do nebe Lorna Byrneová / Buch Hardcover
common.buy 9.49 €
Philologus / Buch Hardcover
common.buy 119.90 €
Gra Szacho-warcaby 31 / Buch binding.
common.buy 27.89 €
??????????? ???? ?????? ????????? ????? ?????????? Neil King / E-Book Adobe ePub DRM
common.buy 6.79 €
Harry Potter: Vánoce v Bradavicích Joanne K. Rowling / Buch Hardcover
common.buy 14.29 €
Tintin c'est l'aventure n°24 - Belgique - Offre Jumelée / Buch Broschur
common.buy 24.19 €
Marmorpalais im Neuen Garten der Stiftung Preußischer Schlösser und Gärten Berlin-Brandenburg / Buch Broschur
common.buy 5.99 €
Tumeurs malignes rares Jean-Pierre Droz / Buch Hardcover
common.buy 140.89 €
Geschichte der jungen Renate Fuchs Jakob Wassermann / Buch Broschur
common.buy 9.80 €
Frauen- und Kinderarbeit in der Zeit der Industrialisierung Viktoria Lehner / Buch Broschur
common.buy 15.95 €
Praxeologie der Moderne Gunnar Skirbekk / Buch Broschur
common.buy 45.00 €
Politische Justiz 1918-1933 Heinrich Hannover / Buch Broschur
common.buy 22.00 €
Odisea / The Odyssey HOMERO / Buch Broschur
common.buy 11.49 €
20TH CENTURY ITALIAN COMPOSERS PIANO ALFONSO ALBERTI Buch binding.
common.buy 22.89 €
Puissances de l'imagination : Malebranche, De l'imagination, Cervantès, Don Quichotte, Proust, Un amour de Swann Anglard / Buch Broschur
common.buy 18.99 €
CHAGALL, MODIGLIANI, SOUTINE... PARIS POUR ECOLE, 1905-1940 Buch Buch
common.buy 25.19 €
LE DEFI DES DRUIDES BRISOU-PELLEN / Buch Broschur
common.buy 11.09 €
L'année de la grande section 5-6ans - Tout pour réussir en maternelle Ginette Grandcoin-Joly / Buch Broschur
common.buy 9.09 €
Dalmatien - 1.000 Teile (Puzzle) / Spiel/Spielzeug Spiel
common.buy 32.90 €
MI PRIMER IMAGINARIO DE DINOSAURIOS LAURE DU FAY / Buch Broschur
common.buy 5.49 €

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the 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 Armin Biere, Amir Nahir, Tanja Vos
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2013
Anzahl der Seiten 281
EAN 9783642396106
ISBN 3642396100
Libristo-Code 01664050
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 456
Abmessungen 155 x 235 x 19

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
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

Numerical Treatment of Multiphase Flows in Porous Media Zhangxin Chen / Buch Hardcover
common.buy 97.89 €
Top
Children of Jocasta Natalie Haynes / Buch Broschur
common.buy 8.29 €
Understanding Marketing & Technology Without Losing Your Mind: A Practical Guide for Managers and Leaders Dave Tedlock / Buch Broschur
common.buy 10.09 €
Rethinking Genesis 1-11 Gordon J. Wenham / Buch Hardcover
common.buy 20.99 €
Oxford Primary Illustrated Maths Dictionary / Buch Broschur
common.buy 9.19 €
Günstig
The 5 Am Club: Own Your Morning. Elevate Your Life. Robin Sharma / Buch Hardcover
common.buy 13.09 €
Smart Education and e-Learning 2019 Vladimir L. Uskov / Buch Hardcover
common.buy 181.29 €
Rocket Science Alan McFadzean / Buch Broschur
common.buy 31.69 €
Draw and Color Your Dragon JOHN SMITH / Buch Broschur
common.buy 16.29 €
Top
In the Heights LIN-MANUEL MIRANDA / Buch Hardcover
common.buy 24.59 €
Color Blue of the Hermit's Robe Patsy Stanley / Buch Hardcover
common.buy 13.19 €
Hypertension and Stroke Venkatesh Aiyagari / Buch Broschur
common.buy 176.89 €
Aristotle and Dante Collection (Boxed Set) Benjamin Alire Sáenz / Buch Hardcover
common.buy 26.49 €
Top
Attack on Titan Omnibus 2 (Vol. 4-6) Hajime Isayama / Buch Broschur
common.buy 12.39 €
Donbas Conflict in Ukraine Daria Platonova / Buch Hardcover
common.buy 209.49 €
Life's Edge Carl Zimmer / Buch Broschur
common.buy 11.49 €
This Is Me (from the Greatest Showman) Justin Paul / Buch Broschur
common.buy 4.69 €
Of Ancients Unbound T.C. Edge / Buch Broschur
common.buy 21.19 €
World Literature Klaudia Hiu Yen Lee / Buch Hardcover
common.buy 209.49 €
Dark Waters Jason Wright / E-Book Adobe ePub DRM
common.buy 2.79 €
Defects in HIgh-k Gate Dielectric Stacks Evgeni Gusev / Buch Hardcover
common.buy 181.29 €
Dionysius of Halicarnasssus W. Rhys Roberts / Buch Broschur
common.buy 40.99 €
Beginning Human Rights Law Howard Davis / Buch Broschur
common.buy 58.59 €
K-Theory and C*-Algebras: A Friendly Approach Niels Erik Wegge-Olsen / Buch Hardcover
common.buy 245.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?