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 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € 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.

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: 55.83 EUR
Availability: InStock
Author: Manfred Broy
ISBN: 9783540262787

Advanced Lectures

Manfred Broy

Bengt Jonsson

Joost-Pieter Katoen

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01560774

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, jún 2005

Testing is the primary hardware and software verification technique used by industry today. Usually,... Celý popis

Libristo kód: 01560774

135 b

55.83 €

Skladom u dodávateľa v malom množstve Odosielame za 13-18 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

ARTE MAGICA Y HECHICERIA MEDIEVAL

Brožovaná

21.03 €

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

Brožovaná

25.99 €

Koepurjehdus Cupido

MP3

3.94 €

Briefe der Kaiserin Maria Theresia an ihre Kinder und Freunde

Brožovaná

62.30 €

Filosofia para ninos Michael Siegmund

Brožovaná

13.04 €

Šílenství normality Arno Gruen

binding.

7.68 €

Actividades para el MCER B1 + CD audio L. Lozano

Brožovaná

24.77 €

Antico Testamento. La Bibbia per tutti Germano Galvagno

Kniha

13.95 €

El mapa de tu talento Ruiz Bachs

Brožovaná

20.52 €

CRIMINOLOGIA Y DELITOS DE ODIO Docal Gil

Brožovaná

15.26 €

TRIOS (AUS DREISTIMMIGEN CHORWERKEN BEARBEITET V VIOLONS BELA BARTOK Kniha

binding.

28.62 €

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

Papierenský tovar

8.69 €

Cultura y simulacro Jean Baudrillard

Brožovaná

15.97 €

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

Brožovaná

13.54 €

Weltratsel Ernst Haeckel

Brožovaná

48.95 €

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

Brožovaná

48.95 €

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

Brožovaná

8.89 €

KATJA Burkhardt Niel

Pevná

19.82 €

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

Brožovaná

42.78 €

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.