ANNA A Language for Annotating Ada Programs: Reference Manual (Lecture Notes in Computer Science (260), Band 260)

Reference

von: Olaf Owe · David C. Luckham · Friedrich W. von Henke · Bernd Krieg-Brueckner

Taschenbuch

ISBN: 978-3-540-17980-1

ISBN-10: 3-540-17980-1

Springer · 2008