High Level Transition Systems of CSP Specifications: and their Application in Automated Testing

von: Markus Dahlweid · Uwe Schulze Vdm Verlag Dr. Müller · 2008 Taschenbuch Details (Deutschland) Details (USA) Details (Großbritannien) Details (Kanada) Details (Frankreich) ISBN: 978-3-639-00972-9 ISBN-10: 3-639-00972-X