"Design, Specification and Verification of Interactive Systems '95": Proceedings of the Eurographics Workshop in Toulouse, France, June 7-9, 1995

Verification

von Philippe Palanque

Taschenbuch

Details (Österreich/Schweiz/Deutschland)

ISBN-13: 978-3-211-82739-0

ISBN-10: 3-211-82739-0

Springer · 2013