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 € ACS-Stelle 4.99 € Box Now 3.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 115 b
47.47 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

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 114.36 €
Top
Aristotle and Dante Collection (Boxed Set) Benjamin Alire Sáenz / Buch Hardcover
common.buy 31.21 €
Rethinking Genesis 1-11 Gordon J. Wenham / Buch Hardcover
common.buy 27.67 €
Oxford Primary Illustrated Maths Dictionary / Buch Broschur
common.buy 10.80 €
Top
The 5 Am Club: Own Your Morning. Elevate Your Life. Robin Sharma / Buch Hardcover
common.buy 22.22 €
Defects in HIgh-k Gate Dielectric Stacks Evgeni Gusev / Buch Hardcover
common.buy 205.49 €
Draw and Color Your Dragon JOHN SMITH / Buch Broschur
common.buy 18.07 €
In the Heights LIN-MANUEL MIRANDA / Buch Hardcover
common.buy 30.70 €
Children of Jocasta Natalie Haynes / Buch Broschur
common.buy 9.69 €
Rocket Science Alan McFadzean / Buch Broschur
common.buy 36.26 €
Top
Attack on Titan Omnibus 2 (Vol. 4-6) Hajime Isayama / Buch Broschur
common.buy 14.44 €
Donbas Conflict in Ukraine Daria Platonova / Buch Hardcover
common.buy 218.12 €
Life's Edge Carl Zimmer / Buch Broschur
common.buy 15.14 €
This Is Me (from the Greatest Showman) Justin Paul / Buch Broschur
common.buy 5.55 €
Of Ancients Unbound T.C. Edge / Buch Broschur
common.buy 26.26 €
World Literature Klaudia Hiu Yen Lee / Buch Hardcover
common.buy 218.12 €
Dark Waters Jason Wright / E-Book Adobe ePub DRM
common.buy 3.32 €
Hypertension and Stroke Venkatesh Aiyagari / Buch Broschur
common.buy 200.94 €
Dionysius of Halicarnasssus W. Rhys Roberts / Buch Broschur
common.buy 50.30 €
Beginning Human Rights Law Howard Davis / Buch Broschur
common.buy 62.93 €
Top
Basic Economics Thomas Sowell / Buch Hardcover
common.buy 33.43 €
Top
Green Lantern by Geoff Johns Omnibus Vol. 1 Geoff Johns / Buch Hardcover
common.buy 89.91 €
Cognitive Linguistics EVANS VYVYAN / Buch Hardcover
common.buy 170.94 €
Top
Accessing the Healing Power of the Vagus Nerve Stanley Rosenberg / Buch Broschur
common.buy 22.01 €

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?