Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, ... (CSE) (Lecture Notes in Computer Science)
Contributors: Hartmut Ehrig (Editor); Christiane Floyd (Editor); Maurice Nivat (Editor); James Thatcher (Editor)
Edition: 1 edition
Publisher: Springer
Published: July 2, 1986
Language: eng
Format: Paperback
Number of pages: 476
ISBN-13: 9783540151999
Subjects: Programming - Software Development; Programming Languages - General; Questions & Answers; Computers / Programming / Software Development; Computers : Programming - Software Development; Computers : Programming Languages - General; Engineering; Reference / Questions & Answers; Software; Reference