TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 (Lecture Notes in Computer Science)
Contributors: Josep Diaz (Editor); Fernando Orejas (Editor)
Publisher: Springer
Published: October 1, 2007
Language: eng
Format: Paperback
Number of pages: 404
ISBN-13: 9783540509400
Subjects: Logic Design; Programming - Software Development; Programming Languages - General; Computers - Languages / Programming
First sentence: VDM stands for a relatively well propagated method for developing deterministic systems software, like compilers, database management systems, application program generators, etc., as well as major parts of non-deterministic, concurrent and distributed software, such as operating systems, local area nets, office automation systems, etc.