Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Hardware and Software: Verification and Testing

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

Język AngielskiAngielski
Książka Miękka
Książka Hardware and Software: Verification and Testing Armin Biere
Kod Libristo: 01664050
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 2013
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verificatio... Cały opis
? points 115 b
201.43 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Harry Potter: Vánoce v Bradavicích Joanne K. Rowling / Książka Twarda
common.buy 69.14 zł
101 vecí na hľadanie a nalepovanie Rozprávkové bytosti / Książka Miękka
common.buy 16.65 zł
Heilige Maria, Mutter Gottes / Książka Karta
common.buy 17.35 zł
Die Umsetzung des NCV-Programms am Tshwane North FET College Kaizer Raseane Makole / Książka Miękka
common.buy 207.55 zł
Schody do nebe Lorna Byrneová / Książka Twarda
common.buy 41.34 zł
Philologus / Książka Twarda
common.buy 451.95 zł
Gra Szacho-warcaby 31 / Książka binding.
common.buy 135.59 zł
??????????? ???? ?????? ????????? ????? ?????????? Neil King / E-book Adobe ePub DRM
common.buy 33.81 zł
Praxeologie der Moderne Gunnar Skirbekk / Książka Miękka
common.buy 192.90 zł
Tintin c'est l'aventure n°24 - Belgique - Offre Jumelée / Książka Miękka
common.buy 126.45 zł
Marmorpalais im Neuen Garten der Stiftung Preußischer Schlösser und Gärten Berlin-Brandenburg / Książka Miękka
common.buy 29.60 zł
Tumeurs malignes rares Jean-Pierre Droz / Książka Twarda
common.buy 709.89 zł
Geschichte der jungen Renate Fuchs Jakob Wassermann / Książka Miękka
common.buy 38.03 zł
Frauen- und Kinderarbeit in der Zeit der Industrialisierung Viktoria Lehner / Książka Miękka
common.buy 61.11 zł
MÁS ALLÁ DEL LÍMITE SIMONE ELKELES / Książka Miękka
common.buy 35.72 zł
Problem der demokratischen Legitimation in foederalen Systemen Julia Schoeppenthau / Książka Miękka
common.buy 68.64 zł
Odisea / The Odyssey HOMERO / Książka Miękka
common.buy 55.19 zł
20TH CENTURY ITALIAN COMPOSERS PIANO ALFONSO ALBERTI Książka binding.
common.buy 119.83 zł
Puissances de l'imagination : Malebranche, De l'imagination, Cervantès, Don Quichotte, Proust, Un amour de Swann Anglard / Książka Miękka
common.buy 99.65 zł
CHAGALL, MODIGLIANI, SOUTINE... PARIS POUR ECOLE, 1905-1940 Książka Książka
common.buy 131.57 zł
LE DEFI DES DRUIDES BRISOU-PELLEN / Książka Miękka
common.buy 55.90 zł
L'année de la grande section 5-6ans - Tout pour réussir en maternelle Ginette Grandcoin-Joly / Książka Miękka
common.buy 48.17 zł
Dalmatien - 1.000 Teile (Puzzle) / Gra/Zabawka Gra
common.buy 133.68 zł
MI PRIMER IMAGINARIO DE DINOSAURIOS LAURE DU FAY / Książka Miękka
common.buy 71.45 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Hardware and Software: Verification and Testing
Autor Armin Biere, Amir Nahir, Tanja Vos
Język Angielski
Oprawa Książka - Miękka
Data wydania 2013
Liczba stron 281
EAN 9783642396106
ISBN 3642396100
Kod Libristo 01664050
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 456
Wymiary 155 x 235 x 19

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Numerical Treatment of Multiphase Flows in Porous Media Zhangxin Chen / Książka Twarda
common.buy 485.47 zł
TOP
Aristotle and Dante Collection (Boxed Set) Benjamin Alire Sáenz / Książka Twarda
common.buy 132.58 zł
Rethinking Genesis 1-11 Gordon J. Wenham / Książka Twarda
common.buy 110.50 zł
Oxford Primary Illustrated Maths Dictionary / Książka Miękka
common.buy 45.86 zł
TOP
The 5 Am Club: Own Your Morning. Elevate Your Life. Robin Sharma / Książka Twarda
common.buy 88.61 zł
Defects in HIgh-k Gate Dielectric Stacks Evgeni Gusev / Książka Twarda
common.buy 871.89 zł
Draw and Color Your Dragon JOHN SMITH / Książka Miękka
common.buy 76.87 zł
In the Heights LIN-MANUEL MIRANDA / Książka Twarda
common.buy 130.17 zł
Children of Jocasta Natalie Haynes / Książka Miękka
common.buy 41.34 zł
Rocket Science Alan McFadzean / Książka Miękka
common.buy 153.95 zł
TOP
Attack on Titan Omnibus 2 (Vol. 4-6) Hajime Isayama / Książka Miękka
common.buy 61.31 zł
Donbas Conflict in Ukraine Daria Platonova / Książka Twarda
common.buy 886.34 zł
Life's Edge Carl Zimmer / Książka Miękka
common.buy 60.61 zł
This Is Me (from the Greatest Showman) Justin Paul / Książka Miękka
common.buy 23.78 zł
Of Ancients Unbound T.C. Edge / Książka Miękka
common.buy 106.38 zł
World Literature Klaudia Hiu Yen Lee / Książka Twarda
common.buy 886.34 zł
Dark Waters Jason Wright / E-book Adobe ePub DRM
common.buy 13.84 zł
Hypertension and Stroke Venkatesh Aiyagari / Książka Miękka
common.buy 853.02 zł
Dionysius of Halicarnasssus W. Rhys Roberts / Książka Miękka
common.buy 203.94 zł
Beginning Human Rights Law Howard Davis / Książka Miękka
common.buy 267.37 zł
TOP
Basic Economics Thomas Sowell / Książka Twarda
common.buy 142.11 zł
TOP
Green Lantern by Geoff Johns Omnibus Vol. 1 Geoff Johns / Książka Twarda
common.buy 381.69 zł
Cognitive Linguistics EVANS VYVYAN / Książka Twarda
common.buy 695.84 zł
TOP
Accessing the Healing Power of the Vagus Nerve Stanley Rosenberg / Książka Miękka
common.buy 85.50 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?