Normal view MARC view ISBD view

Model-based testing of reactive systems

By: Jonsson, Bengt.
Contributor(s): Broy, Manfred | Katoen, Joost-Pieter | Leucker, Martin.
Material type: materialTypeLabelBookSeries: Lecture notes in computer science.Publisher: Berlin: Springer, 2005Description: viii, 659 p.; : 24 cm.ISBN: 3540262784 .Subject(s): Information technology -- Testing | Systems software -- TestingDDC classification: 004
Tags from this library: No tags from this library for this title. Log in to add tags.

Powered by Koha