Research Catalog
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.].
- Publication
- Berlin ; New York : Springer-Verlag, 1985.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/Text | Request in advance | JSE 85-998 | Offsite |
Details
- Additional Authors
- Ehrig, Hartmut
- Description
- xiii, 418 p. : ill.; 25 cm.
- Series Statement
- 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
- Subject
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSE 85-998
- ISBN
- 0387151982 (U.S.)
- LCCN
- 85004720
- OCLC
- 11814027
- NYPG85-B37993
- Title
- Mathematical foundations of software development / Colloquium on Trees in Algebra and Programming (CAAP '85) ; edited by Hartmut Ehrig ... [et al.].
- Imprint
- Berlin ; New York : Springer-Verlag, 1985.
- Series
- Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 1Lecture notes in computer science ; 185
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Ehrig, Hartmut.
- Research Call Number
- JSE 85-998