"Design, Specification and Verification of Interactive Systems '97": "Proceedings Of The Eurographics Workshop In Granada, Spain, June 46, 1997"

Verification

von Michael D. Harrison

Taschenbuch

EAN=ISBN-13: 978-3-211-83055-0

ISBN-10: 3-211-83055-3

Springer · 2013