Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Hardware and Software: Verification and Testing

Name: Hardware and Software: Verification and Testing
Brand: Springer International Publishing AG
SKU: 02152556
Price: 54.47 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

Език

Английски език

Книга С меки корици

Код Либристо: 02152556

Издателство Springer International Publishing AG, октомври 2013

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conferenc... Цялото описание

Код Либристо: 02152556

132 b

54.47 €

106.54 лв

Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

amore al tempo dei social Karin Anzai Книга

Книга

9.06 € 17.71 лв

August und Elisabeth Macke Anna Luisa Walter

С меки корици

34.02 € 66.53 лв

CONCERTI PER VL., ARCHI E B.C.: IN MI RV 267 VIOLON ANTONIO VIVALDI Книга

binding.

26.04 € 50.94 лв

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

С меки корици

4.24 € 8.30 лв

Wanderer zwischen Musik, Politik und Recht Becker

С твърди корици

127.08 € 248.54 лв

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

С твърди корици

28.53 € 55.80 лв

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

С меки корици

6.31 € 12.35 лв

Ajedrez hipermoderno. Vol. I Ricardo Aguilera López

С меки корици

11.91 € 23.29 лв

Les Meilleures Recettes Vegetariennes Du Monde Entier M. Ballero

С меки корици

9.99 € 19.54 лв

hombre y el zorro Idries Shah

С меки корици

9.83 € 19.23 лв

Eveliina von Waisin etiaiset Anneli Alatalo

С меки корици

25.63 € 50.13 лв

Wupp geht um Martina Temming

С меки корици

9.58 € 18.73 лв

Der Realitätenkellner Werner A. Leeb

С меки корици

39.04 € 76.36 лв

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

С меки корици

50.07 € 97.93 лв

Tagbuch einer Reise in Inner-Arabien Julius Euting

С меки корици

33.09 € 64.71 лв

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.