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.49 €
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 129 b
52.69 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Harry Potter: Vánoce v Bradavicích Joanne K. Rowling / Buch Hardcover
common.buy 17.09 €
101 vecí na hľadanie a nalepovanie Rozprávkové bytosti / Buch Broschur
common.buy 4.39 €
Heilige Maria, Mutter Gottes / Buch Blatt
common.buy 5.39 €
Die Umsetzung des NCV-Programms am Tshwane North FET College Kaizer Raseane Makole / Buch Broschur
common.buy 58.09 €
Schody do nebe Lorna Byrneová / Buch Hardcover
common.buy 10.29 €
Philologus / Buch Hardcover
common.buy 119.90 €
Gra Szacho-warcaby 31 / Buch binding.
common.buy 39.09 €
??????????? ???? ?????? ????????? ????? ?????????? Neil King / E-Book Adobe ePub DRM
common.buy 8.29 €
Praxeologie der Moderne Gunnar Skirbekk / Buch Broschur
common.buy 47.29 €
Tintin c'est l'aventure n°24 - Belgique - Offre Jumelée / Buch Broschur
common.buy 30.79 €
Marmorpalais im Neuen Garten der Stiftung Preußischer Schlösser und Gärten Berlin-Brandenburg / Buch Broschur
common.buy 7.19 €
Tumeurs malignes rares Jean-Pierre Droz / Buch Hardcover
common.buy 173.79 €
Geschichte der jungen Renate Fuchs Jakob Wassermann / Buch Broschur
common.buy 19.99 €
Frauen- und Kinderarbeit in der Zeit der Industrialisierung Viktoria Lehner / Buch Broschur
common.buy 15.95 €
MÁS ALLÁ DEL LÍMITE SIMONE ELKELES / Buch Broschur
common.buy 8.69 €
Problem der demokratischen Legitimation in foederalen Systemen Julia Schoeppenthau / Buch Broschur
common.buy 17.95 €
Odisea / The Odyssey HOMERO / Buch Broschur
common.buy 10.99 €
20TH CENTURY ITALIAN COMPOSERS PIANO ALFONSO ALBERTI Buch binding.
common.buy 29.19 €
Puissances de l'imagination : Malebranche, De l'imagination, Cervantès, Don Quichotte, Proust, Un amour de Swann Anglard / Buch Broschur
common.buy 24.29 €
CHAGALL, MODIGLIANI, SOUTINE... PARIS POUR ECOLE, 1905-1940 Buch Buch
common.buy 31.99 €
LE DEFI DES DRUIDES BRISOU-PELLEN / Buch Broschur
common.buy 13.49 €
L'année de la grande section 5-6ans - Tout pour réussir en maternelle Ginette Grandcoin-Joly / Buch Broschur
common.buy 11.69 €
Dalmatien - 1.000 Teile (Puzzle) / Spiel/Spielzeug Spiel
common.buy 32.89 €
MI PRIMER IMAGINARIO DE DINOSAURIOS LAURE DU FAY / Buch Broschur
common.buy 17.39 €

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 113.19 €
Top
Aristotle and Dante Collection (Boxed Set) Benjamin Alire Sáenz / Buch Hardcover
common.buy 33.09 €
Rethinking Genesis 1-11 Gordon J. Wenham / Buch Hardcover
common.buy 27.39 €
Oxford Primary Illustrated Maths Dictionary / Buch Broschur
common.buy 11.39 €
Top
The 5 Am Club: Own Your Morning. Elevate Your Life. Robin Sharma / Buch Hardcover
common.buy 21.99 €
Defects in HIgh-k Gate Dielectric Stacks Evgeni Gusev / Buch Hardcover
common.buy 234.29 €
In the Heights LIN-MANUEL MIRANDA / Buch Hardcover
common.buy 30.39 €
Children of Jocasta Natalie Haynes / Buch Broschur
common.buy 10.29 €
Rocket Science Alan McFadzean / Buch Broschur
common.buy 42.89 €
Top
Attack on Titan Omnibus 2 (Vol. 4-6) Hajime Isayama / Buch Broschur
common.buy 14.99 €
Donbas Conflict in Ukraine Daria Platonova / Buch Hardcover
common.buy 215.89 €
Life's Edge Carl Zimmer / Buch Broschur
common.buy 14.99 €
This Is Me (from the Greatest Showman) Justin Paul / Buch Broschur
common.buy 5.49 €
Of Ancients Unbound T.C. Edge / Buch Broschur
common.buy 25.99 €
World Literature Klaudia Hiu Yen Lee / Buch Hardcover
common.buy 215.89 €
Dark Waters Jason Wright / E-Book Adobe ePub DRM
common.buy 3.39 €
Hypertension and Stroke Venkatesh Aiyagari / Buch Broschur
common.buy 222.99 €
Dionysius of Halicarnasssus W. Rhys Roberts / Buch Broschur
common.buy 49.79 €
Beginning Human Rights Law Howard Davis / Buch Broschur
common.buy 65.49 €
Top
Basic Economics Thomas Sowell / Buch Hardcover
common.buy 35.89 €
Top
Green Lantern by Geoff Johns Omnibus Vol. 1 Geoff Johns / Buch Hardcover
common.buy 122.39 €
Cognitive Linguistics EVANS VYVYAN / Buch Hardcover
common.buy 169.19 €
Top
Accessing the Healing Power of the Vagus Nerve Stanley Rosenberg / Buch Broschur
common.buy 21.79 €
Top
Joseph Dirand Francois Halard / Buch Hardcover
common.buy 60.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?