×


 x 

Shopping cart
. Ed(S): Broy, Manfred; Jonsson, Bengt; Katoen, Jost-Pieter; Leucker, Martin; Pretschner, Alexander - Model-Based Testing of Reactive Systems - 9783540262787 - V9783540262787
Stock image for illustration purposes only - book cover, edition or condition may vary.

Model-Based Testing of Reactive Systems

€ 70.69
FREE Delivery in Ireland
Description for Model-Based Testing of Reactive Systems paperback. Testing is a primary hardware and software verification technique.This book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems. It presents 19 reviewed lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of relevant aspects. Editor(s): Broy, Manfred; Jonsson, Bengt; Katoen, Jost-Pieter; Leucker, Martin; Pretschner, Alexander. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 672 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 34. Weight in Grams: 1021.

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 ... Read more

Show Less

Product Details

Format
Paperback
Publication date
2005
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
672
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
664
Place of Publication
Berlin, Germany
ISBN
9783540262787
SKU
V9783540262787
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15

Reviews for Model-Based Testing of Reactive Systems

Goodreads reviews for Model-Based Testing of Reactive Systems


Subscribe to our newsletter

News on special offers, signed editions & more!