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

9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Hardware and Software: Verification and Testing Valeria Bertacco
Kod Libristo: 02152556
Wydawnictwo Springer International Publishing AG, październik 2013
This book constitutes the refereed proceedings of the 9th International Haifa Verification Conferenc... Cały opis
? points 125 b
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

amore al tempo dei social Karin Anzai Książka Książka
common.buy 34.82 zł
August und Elisabeth Macke Anna Luisa Walter / Książka Miękka
common.buy 135.59 zł
CONCERTI PER VL., ARCHI E B.C.: IN MI RV 267 VIOLON ANTONIO VIVALDI Książka binding.
common.buy 105.78 zł
Ściąga liceum, technikum Część 1 Antyk, Średniowiecze, Renesans, Barok, Oświecenie Zespół redakcyjny Wydawnictwa Greg / Książka Miękka
common.buy 14.74 zł
Wanderer zwischen Musik, Politik und Recht Becker / Książka Twarda
common.buy 512.77 zł
Gachiakuta. Крутые отбросы. Том 2 / Książka Twarda
common.buy 114.41 zł
Smradľavý útok Grázlika Gaba Francesca Simon / Książka Miękka
common.buy 25.38 zł
Ajedrez hipermoderno. Vol. I Ricardo Aguilera López / Książka Miękka
common.buy 48.17 zł
Les Meilleures Recettes Vegetariennes Du Monde Entier M. Ballero / Książka Miękka
common.buy 40.64 zł
hombre y el zorro Idries Shah / Książka Miękka
common.buy 41.64 zł
Eveliina von Waisin etiaiset Anneli Alatalo / Książka Miękka
common.buy 102.27 zł
Wupp geht um Martina Temming / Książka Miękka
common.buy 38.33 zł
Der Realitätenkellner Werner A. Leeb / Książka Miękka
common.buy 156.46 zł
Flottentelematik fur Transportdienstleister - E-Business-Loesung fur kleinst- bis mittlere Transport-Unternehmen Rüdiger Quietzsch / Książka Miękka
common.buy 200.22 zł
Tagbuch einer Reise in Inner-Arabien Julius Euting / Książka Miękka
common.buy 132.48 zł

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction, and model presentation.

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 Valeria Bertacco, Axel Legay
Język Angielski
Oprawa Książka - Miękka
Data wydania 2013
Liczba stron 366
EAN 9783319030760
ISBN 3319030760
Kod Libristo 02152556
Wydawnictwo Springer International Publishing AG
Waga 593
Wymiary 155 x 235 x 22

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Urządzenia sieciowe
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ć

Drought Stress Tolerance in Plants, Vol 1 Hossain Mohammad Anwar / Książka Twarda
common.buy 654.19 zł
Handbook of Power Management Circuits Haruo Kobayashi / Książka Twarda
common.buy 1 039.80 zł
Biotechnology and the Challenge of Property NWABUEZE / Książka Miękka
common.buy 326.39 zł
Air Travel Claims in Australia and New Zealand Gary N Heilbronn / Książka Miękka
common.buy 94.24 zł
Rust + Moth: Winter 2017 Rust and Moth / Książka Miękka
common.buy 32.41 zł
Advances in Power Quality Jeremy Giamatti / Książka Twarda
common.buy 297.98 zł
Get Over Yourself! Jennifer Beckham / Książka Miękka
common.buy 70.95 zł
Protein Translation Eric Jan / Książka Miękka
common.buy 270.48 zł
Methods and Data in English Historical Dialectology Marina Dossena / Książka Miękka
common.buy 519.80 zł
Nginx Essentials Valery Kholodkov / Książka Miękka
common.buy 170.31 zł
Systematic Approach to Curriculum Planning Chipo Chirimuuta / Książka Miękka
common.buy 223.01 zł
Heartwood James Lee Burke / Książka Miękka
common.buy 50.28 zł
Solar Cells and Energy Materials Takeo Oku / Książka Twarda
common.buy 421.13 zł
Physical and Inorganic Chemistry J. Barthel / Książka Miękka
common.buy 436.59 zł
History and Biography T. C. W. BlanningDavid Cannadine / Książka Twarda
common.buy 540.07 zł
Cooking With Healing Mushrooms Stepfanie Romine / E-book Adobe ePub DRM
common.buy 57.10 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?