Email Address * *
Name
Subject *
Message * Formal specification Formal specification languages, Eiffel, Denotational semantics, Vienna Development Method, Abstract Machine Notation - 1233158031 - 9781233158034