Над 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 €

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Model-Based Testing of Reactive Systems

Name: Model-Based Testing of Reactive Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01560774
Price: 61.19 EUR
Availability: InStock
Author: Manfred Broy
ISBN: 9783540262787

Advanced Lectures

Manfred Broy

Bengt Jonsson

Joost-Pieter Katoen

Език

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

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

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

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юни 2005

Testing is the primary hardware and software verification technique used by industry today. Usually,... Цялото описание

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

148 b

61.19 €

119.68 лв

Външен склад в ограничено количество Изпращаме след 11-15 дни

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

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

Pastelky STABILO aquacolor, sada 12 ks v kovovém pouzdru

Канцеларски материали

9.22 € 18.03 лв

Le Livre Des Usaiges Et Anciennes Coustumes de la Conte de Guysnes (Ed.1856) Sans Auteur

С меки корици

27.30 € 53.40 лв

Koepurjehdus Cupido

MP3

4.24 € 8.30 лв

Filosofia para ninos Michael Siegmund

С меки корици

19.27 € 37.69 лв

Šílenství normality Arno Gruen

binding.

8.34 € 16.31 лв

Antico Testamento. La Bibbia per tutti Germano Galvagno

Книга

14.71 € 28.77 лв

El mapa de tu talento Ruiz Bachs

С меки корици

22.22 € 43.47 лв

CRIMINOLOGIA Y DELITOS DE ODIO Docal Gil

С меки корици

15.90 € 31.10 лв

ARTE MAGICA Y HECHICERIA MEDIEVAL

С меки корици

21.97 € 42.96 лв

Actividades para el MCER B1 + CD audio L. Lozano

С меки корици

26.01 € 50.87 лв

Weltratsel Ernst Haeckel

С меки корици

51.92 € 101.54 лв

barrage contre le Pacifique de Marguerite Duras (Analyse de l'oeuvre) Nasim Hamou

С меки корици

14.87 € 29.08 лв

Cultura y simulacro Jean Baudrillard

С меки корици

16.89 € 33.03 лв

La thrombose porte non tumorale au cours de la cirrhose Mohamed Bejaoui

С меки корици

51.92 € 101.54 лв

Lexikon tribalových motivů tetování Radek Fiksa

С меки корици

11.34 € 22.18 лв

KATJA Burkhardt Niel

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

33.05 € 64.65 лв

Konzipierung und Implementierung einer Software fur die Diagnose von Perfusionsdefekten in der Myokardialen Kontrast-Echokardiographie Mathis Zimmermann

С меки корици

45.39 € 88.77 лв

Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems.§This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.