Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Hardware and Software: Verification and Testing

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Hardware and Software: Verification and Testing Armin Biere
Libristo-code: 01664050
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juni 2013
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verificatio... Volledige beschrijving
? points 115 b
47.59 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Harry Potter: Vánoce v Bradavicích Joanne K. Rowling / Boek Gebonden (harde band)
common.buy 16.30 €
101 vecí na hľadanie a nalepovanie Rozprávkové bytosti / Boek Gebonden (paperback)
common.buy 3.94 €
Heilige Maria, Mutter Gottes / Boek Blad
common.buy 4.04 €
Die Umsetzung des NCV-Programms am Tshwane North FET College Kaizer Raseane Makole / Boek Gebonden (paperback)
common.buy 49.01 €
Schody do nebe Lorna Byrneová / Boek Gebonden (harde band)
common.buy 9.71 €
Philologus / Boek Gebonden (harde band)
common.buy 106.74 €
Gra Szacho-warcaby 31 / Boek binding.
common.buy 35.84 €
??????????? ???? ?????? ????????? ????? ?????????? Neil King / E-book Adobe ePub DRM
common.buy 7.99 €
Praxeologie der Moderne Gunnar Skirbekk / Boek Gebonden (paperback)
common.buy 48.00 €
Tintin c'est l'aventure n°24 - Belgique - Offre Jumelée / Boek Gebonden (paperback)
common.buy 29.87 €
Marmorpalais im Neuen Garten der Stiftung Preußischer Schlösser und Gärten Berlin-Brandenburg / Boek Gebonden (paperback)
common.buy 7.28 €
Tumeurs malignes rares Jean-Pierre Droz / Boek Gebonden (harde band)
common.buy 176.02 €
Geschichte der jungen Renate Fuchs Jakob Wassermann / Boek Gebonden (paperback)
common.buy 9.00 €
Frauen- und Kinderarbeit in der Zeit der Industrialisierung Viktoria Lehner / Boek Gebonden (paperback)
common.buy 14.47 €
MÁS ALLÁ DEL LÍMITE SIMONE ELKELES / Boek Gebonden (paperback)
common.buy 8.40 €
Problem der demokratischen Legitimation in foederalen Systemen Julia Schoeppenthau / Boek Gebonden (paperback)
common.buy 16.20 €
Odisea / The Odyssey HOMERO / Boek Gebonden (paperback)
common.buy 13.76 €
20TH CENTURY ITALIAN COMPOSERS PIANO ALFONSO ALBERTI Boek binding.
common.buy 28.25 €
Puissances de l'imagination : Malebranche, De l'imagination, Cervantès, Don Quichotte, Proust, Un amour de Swann Anglard / Boek Gebonden (paperback)
common.buy 23.49 €
CHAGALL, MODIGLIANI, SOUTINE... PARIS POUR ECOLE, 1905-1940 Boek Boek
common.buy 31.08 €
LE DEFI DES DRUIDES BRISOU-PELLEN / Boek Gebonden (paperback)
common.buy 13.16 €
L'année de la grande section 5-6ans - Tout pour réussir en maternelle Ginette Grandcoin-Joly / Boek Gebonden (paperback)
common.buy 11.33 €
Dalmatien - 1.000 Teile (Puzzle) / Spel/speelgoed Spel
common.buy 33.31 €
MI PRIMER IMAGINARIO DE DINOSAURIOS LAURE DU FAY / Boek Gebonden (paperback)
common.buy 16.90 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Hardware and Software: Verification and Testing
Auteur Armin Biere, Amir Nahir, Tanja Vos
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2013
Aantal pagina's 281
EAN 9783642396106
ISBN 3642396100
Libristo-code 01664050
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 456
Afmetingen 155 x 235 x 19

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Numerical Treatment of Multiphase Flows in Porous Media Zhangxin Chen / Boek Gebonden (harde band)
common.buy 119.81 €
TOP
Aristotle and Dante Collection (Boxed Set) Benjamin Alire Sáenz / Boek Gebonden (harde band)
common.buy 31.29 €
Rethinking Genesis 1-11 Gordon J. Wenham / Boek Gebonden (harde band)
common.buy 26.12 €
Oxford Primary Illustrated Maths Dictionary / Boek Gebonden (paperback)
common.buy 11.54 €
TOP
The 5 Am Club: Own Your Morning. Elevate Your Life. Robin Sharma / Boek Gebonden (harde band)
common.buy 20.96 €
Defects in HIgh-k Gate Dielectric Stacks Evgeni Gusev / Boek Gebonden (harde band)
common.buy 206.00 €
Draw and Color Your Dragon JOHN SMITH / Boek Gebonden (paperback)
common.buy 18.12 €
In the Heights LIN-MANUEL MIRANDA / Boek Gebonden (harde band)
common.buy 32.70 €
Children of Jocasta Natalie Haynes / Boek Gebonden (paperback)
common.buy 9.71 €
Rocket Science Alan McFadzean / Boek Gebonden (paperback)
common.buy 36.35 €
TOP
Attack on Titan Omnibus 2 (Vol. 4-6) Hajime Isayama / Boek Gebonden (paperback)
common.buy 14.47 €
Donbas Conflict in Ukraine Daria Platonova / Boek Gebonden (harde band)
common.buy 209.34 €
Life's Edge Carl Zimmer / Boek Gebonden (paperback)
common.buy 14.27 €
This Is Me (from the Greatest Showman) Justin Paul / Boek Gebonden (paperback)
common.buy 5.97 €
Of Ancients Unbound T.C. Edge / Boek Gebonden (paperback)
common.buy 25.11 €
World Literature Klaudia Hiu Yen Lee / Boek Gebonden (harde band)
common.buy 209.34 €
Dark Waters Jason Wright / E-book Adobe ePub DRM
common.buy 3.23 €
Hypertension and Stroke Venkatesh Aiyagari / Boek Gebonden (paperback)
common.buy 201.44 €
Dionysius of Halicarnasssus W. Rhys Roberts / Boek Gebonden (paperback)
common.buy 48.20 €
Beginning Human Rights Law Howard Davis / Boek Gebonden (paperback)
common.buy 66.33 €
TOP
Basic Economics Thomas Sowell / Boek Gebonden (harde band)
common.buy 35.74 €
TOP
Green Lantern by Geoff Johns Omnibus Vol. 1 Geoff Johns / Boek Gebonden (harde band)
common.buy 96.01 €
Cognitive Linguistics EVANS VYVYAN / Boek Gebonden (harde band)
common.buy 164.37 €
TOP
Accessing the Healing Power of the Vagus Nerve Stanley Rosenberg / Boek Gebonden (paperback)
common.buy 20.15 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?