VDM '87. VDM - A Formal Method at Work
VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Dines Bjørner
Themen in »VDM '87. VDM - A Formal Method at Work«
Ada development language object-oriented programming (OOP) programming semantics software software development
Stimmen zu »VDM '87. VDM - A Formal Method at Work«
Details
ISBN: 9783540477402
Verlag: Springer Berlin
Erscheinung: 30.06.2005