Programming with Specifications
An Introduction to ANNA, A Language for Specifying Ada Programs
Buch in deiner Nähe kaufen
oder
Beschreibung
This monograph introduces ANNA, a language for specifying programs written in Ada.
Autor*in
David Luckham
Themen in »Programming with Specifications«
Ada Debugging behavior evolution programming programming language
Stimmen zu »Programming with Specifications«
Details
ISBN: 9781461396871
Verlag: Springer US
Erscheinung: 05.01.2012