Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Hardware and Software: Verification and Testing

Name: Hardware and Software: Verification and Testing
Brand: Springer International Publishing AG
SKU: 02152556
Price: 51.63 EUR
Availability: InStock
Author: Valeria Bertacco
ISBN: 9783319030760

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

Valeria Bertacco

Axel Legay

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02152556

Nakladateľstvo Springer International Publishing AG, október 2013

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conferenc... Celý popis

Libristo kód: 02152556

125 b

51.63 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

amore al tempo dei social Karin Anzai Kniha

Kniha

8.58 €

August und Elisabeth Macke Anna Luisa Walter

Brožovaná

31.92 €

CONCERTI PER VL., ARCHI E B.C.: IN MI RV 267 VIOLON ANTONIO VIVALDI Kniha

binding.

24.95 €

Ściąga liceum, technikum Część 1 Antyk, Średniowiecze, Renesans, Barok, Oświecenie Zespół redakcyjny Wydawnictwa Greg

Brožovaná

3.93 €

Wanderer zwischen Musik, Politik und Recht Becker

Pevná

120.85 €

Gachiakuta. Крутые отбросы. Том 2

Pevná

26.06 €

Smradľavý útok Grázlika Gaba Francesca Simon

Brožovaná

5.45 €

Ajedrez hipermoderno. Vol. I Ricardo Aguilera López

Brožovaná

11.31 €

Les Meilleures Recettes Vegetariennes Du Monde Entier M. Ballero

Brožovaná

9.59 €

hombre y el zorro Idries Shah

Brožovaná

9.29 €

Eveliina von Waisin etiaiset Anneli Alatalo

Brožovaná

24.14 €

Wupp geht um Martina Temming

Brožovaná

8.98 €

Der Realitätenkellner Werner A. Leeb

Brožovaná

36.87 €

Flottentelematik fur Transportdienstleister - E-Business-Loesung fur kleinst- bis mittlere Transport-Unternehmen Rüdiger Quietzsch

Brožovaná

47.18 €

Tagbuch einer Reise in Inner-Arabien Julius Euting

Brožovaná

31.22 €

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 pre

Prehrať video

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Hardware and Software: Verification and Testing

Autor Valeria Bertacco, Axel Legay

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2013

Počet strán 366

EAN 9783319030760

ISBN 3319030760

Libristo kód 02152556

Nakladateľstvo Springer International Publishing AG

Váha 593

Rozmery 155 x 235 x 22

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika

Výpočtové a informačné technológie > Počítačový hardvér > Sieťové zariadenia

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Prekladače a interpretre

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Softvérové inžinierstvo

Výpočtové a informačné technológie > Informatika > Teória algoritmov

Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn

Výpočtové a informačné technológie > Informatika > Umelá inteligencia