There's still time! Find the perfect Father's Day gift with store pickup | Shop NowThere's still time! Find the perfect Father's Day gift with store pickup | Shop Now
Add Item to wish listAdd Item to wish list

Model-Based Testing of Reactive Systems: Advanced Lectures

By Manfred Broy (Editor), Bengt Jonsson (Editor), Joost-Pieter Katoen (Editor), Martin Leucker (Editor), Alexander Pretschner (Editor)
Paperback
$54.99
By Manfred Broy (Editor), Bengt Jonsson (Editor), Joost-Pieter Katoen (Editor), Martin Leucker (Editor), Alexander Pretschner (Editor)
Promotion message icon
Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More
Formats
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
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 review...

Categories