A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Hardware and Software: Verification and Testing

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Hardware and Software: Verification and Testing Valeria Bertacco
Libristo kód: 02152556
Kiadó Springer International Publishing AG, október 2013
This book constitutes the refereed proceedings of the 9th International Haifa Verification Conferenc... Teljes leírás
? points 136 b
20 046 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

amore al tempo dei social Karin Anzai Könyv Könyv
common.buy 3 100 Ft
CONCERTI PER VL., ARCHI E B.C.: IN MI RV 267 VIOLON ANTONIO VIVALDI Könyv binding.
common.buy 8 915 Ft
August und Elisabeth Macke Anna Luisa Walter / Könyv Puha kötésű
common.buy 12 565 Ft
Ściąga liceum, technikum Część 1 Antyk, Średniowiecze, Renesans, Barok, Oświecenie Zespół redakcyjny Wydawnictwa Greg / Könyv Puha kötésű
common.buy 1 415 Ft
Gachiakuta. Крутые отбросы. Том 2 / Könyv Kemény kötésű
common.buy 9 343 Ft
Smradľavý útok Grázlika Gaba Francesca Simon / Könyv Puha kötésű
common.buy 2 141 Ft
Wanderer zwischen Musik, Politik und Recht Becker / Könyv Kemény kötésű
common.buy 43 211 Ft
Ajedrez hipermoderno. Vol. I Ricardo Aguilera López / Könyv Puha kötésű
common.buy 4 045 Ft
Les Meilleures Recettes Vegetariennes Du Monde Entier M. Ballero / Könyv Puha kötésű
common.buy 3 426 Ft
hombre y el zorro Idries Shah / Könyv Puha kötésű
common.buy 3 869 Ft
Eveliina von Waisin etiaiset Anneli Alatalo / Könyv Puha kötésű
common.buy 9 432 Ft
Wupp geht um Martina Temming / Könyv Puha kötésű
common.buy 3 543 Ft
Der Realitätenkellner Werner A. Leeb / Könyv Puha kötésű
common.buy 14 878 Ft
Flottentelematik fur Transportdienstleister - E-Business-Loesung fur kleinst- bis mittlere Transport-Unternehmen Rüdiger Quietzsch / Könyv Puha kötésű
common.buy 18 454 Ft
Tagbuch einer Reise in Inner-Arabien Julius Euting / Könyv Puha kötésű
common.buy 12 206 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Hardware and Software: Verification and Testing
Szerző Valeria Bertacco, Axel Legay
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2013
Oldalszám 366
EAN 9783319030760
ISBN 3319030760
Libristo kód 02152556
Kiadó Springer International Publishing AG
Súly 593
Méretek 155 x 235 x 22

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika
Számítástechnika és információtechnológia > Számítógépes hardver > Hálózati hardver
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Drought Stress Tolerance in Plants, Vol 1 Hossain Mohammad Anwar / Könyv Kemény kötésű
common.buy 59 904 Ft
Handbook of Power Management Circuits Haruo Kobayashi / Könyv Kemény kötésű
common.buy 95 955 Ft
Surgical Pathology of Non-neoplastic Gastrointestinal Diseases Lizhi Zhang / Könyv Kemény kötésű
common.buy 58 708 Ft
Biotechnology and the Challenge of Property NWABUEZE / Könyv Puha kötésű
common.buy 29 570 Ft
Air Travel Claims in Australia and New Zealand Gary N Heilbronn / Könyv Puha kötésű
common.buy 8 547 Ft
Rust + Moth: Winter 2017 Rust and Moth / Könyv Puha kötésű
common.buy 2 951 Ft
Advances in Power Quality Jeremy Giamatti / Könyv Kemény kötésű
common.buy 28 062 Ft
Get Over Yourself! Jennifer Beckham / Könyv Puha kötésű
common.buy 6 494 Ft
Protein Translation Eric Jan / Könyv Puha kötésű
common.buy 24 403 Ft
Methods and Data in English Historical Dialectology Marina Dossena / Könyv Puha kötésű
common.buy 48 951 Ft
Nginx Essentials Valery Kholodkov / Könyv Puha kötésű
common.buy 15 470 Ft
Systematic Approach to Curriculum Planning Chipo Chirimuuta / Könyv Puha kötésű
common.buy 20 548 Ft
Heartwood James Lee Burke / Könyv Puha kötésű
common.buy 4 534 Ft
Solar Cells and Energy Materials Takeo Oku / Könyv Kemény kötésű
common.buy 38 471 Ft
Healing Psoriasis Rachelle Harlan / Könyv Puha kötésű
common.buy 7 751 Ft
Physical and Inorganic Chemistry J. Barthel / Könyv Puha kötésű
common.buy 39 975 Ft
History and Biography T. C. W. BlanningDavid Cannadine / Könyv Kemény kötésű
common.buy 48 895 Ft
Cooking With Healing Mushrooms Stepfanie Romine / E-könyv Adobe ePub DRM
common.buy 4 902 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?