Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Advanced Lectures

Manfred Broy

Bengt Jonsson

Joost-Pieter Katoen

Language

English

Book Paperback

Libristo code: 01560774

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2005

Testing is the primary hardware and software verification technique used by industry today. Usually,... Full description

Libristo code: 01560774

145 b

21 754 Ft

Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

ARTE MAGICA Y HECHICERIA MEDIEVAL

Paperback

6 984 Ft

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

Paperback

9 682 Ft

Briefe der Kaiserin Maria Theresia an ihre Kinder und Freunde

Paperback

24 707 Ft

Filosofia para ninos Michael Siegmund

Paperback

4 734 Ft

Šílenství normality Arno Gruen

binding.

2 863 Ft

Actividades para el MCER B1 + CD audio L. Lozano

Paperback

8 165 Ft

Antico Testamento. La Bibbia per tutti Germano Galvagno

Book

5 500 Ft

El mapa de tu talento Ruiz Bachs

Paperback

7 896 Ft

CRIMINOLOGIA Y DELITOS DE ODIO Docal Gil

Paperback

5 018 Ft

TRIOS (AUS DREISTIMMIGEN CHORWERKEN BEARBEITET V VIOLONS BELA BARTOK Book

binding.

10 310 Ft

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

Stationery items

3 175 Ft

Cultura y simulacro Jean Baudrillard

Paperback

5 783 Ft

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

Paperback

4 914 Ft

Weltratsel Ernst Haeckel

Paperback

17 757 Ft

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

Paperback

19 420 Ft

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

Paperback

3 879 Ft

KATJA Burkhardt Niel

Hardback

7 191 Ft

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

Paperback

16 977 Ft

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.