Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science (3472), Band 3472)

von: Manfred Broy · Bengt Jonsson · Joost-Pieter Katoen · Martin Leucker · Alexander Pretschner Taschenbuch Details (Deutschland) ISBN: 978-3-540-26278-7 ISBN-10: 3-540-26278-4 Springer Berlin Heidelberg · 2008