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: 408
ISBN-13: 9783540509394
Subjects: Logic; Logic Design; Programming - Software Development; Computers - Languages / Programming
First sentence: In 1973, Christopher Strachey wrote a monograph with the above title [8].