Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Hardware and Software: Verification and Testing

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Hardware and Software: Verification and Testing Valeria Bertacco
Libristo kód: 02152556
Nakladatelství Springer International Publishing AG, říjen 2013
This book constitutes the refereed proceedings of the 9th International Haifa Verification Conferenc... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

amore al tempo dei social Karin Anzai Kniha Kniha
common.buy 209 Kč
August und Elisabeth Macke Anna Luisa Walter / Kniha Brožovaná
common.buy 726 Kč
CONCERTI PER VL., ARCHI E B.C.: IN MI RV 267 VIOLON ANTONIO VIVALDI Kniha binding.
common.buy 604 Kč
Ściąga liceum, technikum Część 1 Antyk, Średniowiecze, Renesans, Barok, Oświecenie Zespół redakcyjny Wydawnictwa Greg / Kniha Brožovaná
common.buy 96 Kč
Wanderer zwischen Musik, Politik und Recht Becker / Kniha Pevná
common.buy 2 927 Kč
Gachiakuta. Крутые отбросы. Том 2 / Kniha Pevná
common.buy 653 Kč
Smradľavý útok Grázlika Gaba Francesca Simon / Kniha Brožovaná
common.buy 133 Kč
Ajedrez hipermoderno. Vol. I Ricardo Aguilera López / Kniha Brožovaná
common.buy 275 Kč
Les Meilleures Recettes Vegetariennes Du Monde Entier M. Ballero / Kniha Brožovaná
common.buy 232 Kč
hombre y el zorro Idries Shah / Kniha Brožovaná
common.buy 224 Kč
Eveliina von Waisin etiaiset Anneli Alatalo / Kniha Brožovaná
common.buy 550 Kč
Wupp geht um Martina Temming / Kniha Brožovaná
common.buy 206 Kč
Der Realitätenkellner Werner A. Leeb / Kniha Brožovaná
common.buy 844 Kč
Flottentelematik fur Transportdienstleister - E-Business-Loesung fur kleinst- bis mittlere Transport-Unternehmen Rüdiger Quietzsch / Kniha Brožovaná
common.buy 1 076 Kč
Tagbuch einer Reise in Inner-Arabien Julius Euting / Kniha Brožovaná
common.buy 711 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Hardware and Software: Verification and Testing
Autor Valeria Bertacco, Axel Legay
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2013
Počet stran 366
EAN 9783319030760
ISBN 3319030760
Libristo kód 02152556
Nakladatelství Springer International Publishing AG
Váha 593
Rozměry 155 x 235 x 22

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Výpočetní a informační technologie > Počítačový hardware > Síťová zařízení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Drought Stress Tolerance in Plants, Vol 1 Hossain Mohammad Anwar / Kniha Pevná
common.buy 3 532 Kč
Handbook of Power Management Circuits Haruo Kobayashi / Kniha Pevná
common.buy 5 935 Kč
Biotechnology and the Challenge of Property NWABUEZE / Kniha Brožovaná
common.buy 1 770 Kč
Air Travel Claims in Australia and New Zealand Gary N Heilbronn / Kniha Brožovaná
common.buy 512 Kč
Rust + Moth: Winter 2017 Rust and Moth / Kniha Brožovaná
common.buy 176 Kč
Advances in Power Quality Jeremy Giamatti / Kniha Pevná
common.buy 1 701 Kč
Get Over Yourself! Jennifer Beckham / Kniha Brožovaná
common.buy 382 Kč
Protein Translation Eric Jan / Kniha Brožovaná
common.buy 1 475 Kč
Methods and Data in English Historical Dialectology Marina Dossena / Kniha Brožovaná
common.buy 2 967 Kč
Nginx Essentials Valery Kholodkov / Kniha Brožovaná
common.buy 925 Kč
Systematic Approach to Curriculum Planning Chipo Chirimuuta / Kniha Brožovaná
common.buy 1 198 Kč
Heartwood James Lee Burke / Kniha Brožovaná
common.buy 267 Kč
Solar Cells and Energy Materials Takeo Oku / Kniha Pevná
common.buy 2 278 Kč
Physical and Inorganic Chemistry J. Barthel / Kniha Brožovaná
common.buy 2 357 Kč
History and Biography T. C. W. BlanningDavid Cannadine / Kniha Pevná
common.buy 2 941 Kč
Cooking With Healing Mushrooms Stepfanie Romine / E-kniha Adobe ePub DRM
common.buy 326 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?