"Design, Specification and Verification of Interactive Systems '99": "Proceedings Of The Eurographics Workshop In Braga, Portugal, June 24, 1999"

Verification

von D.J. Duke

Taschenbuch

ISBN: 978-3-211-83405-3

ISBN-10: 3-211-83405-2

Springer · 2013