Books+ Search Results
Mathematical foundations of software development
Title
Mathematical foundations of software development / Colloquium on Trees in Algebra and Programming (CAAP '85) ; edited by Hartmut Ehrig ... [et al.].
ISBN
0387151982 (U.S. : pbk.)
0387151990 (v. 2)
Published
Berlin ; New York : Springer-Verlag, c1985.
Physical Description
xiii, 418 p. : ill. ; 25 cm.
Format
Books
Language
English
Added to Catalog
June 01, 2002
Series
Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 1
Lecture notes in computer science ; 185
Bibliography
Includes bibliographies and index.
Subjects
Also listed under
Bookmark As
Citation
