Research Catalog
Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 / edited by Hartmut Ehrig [and others].
- Title
- Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 / edited by Hartmut Ehrig [and others].
- Author
- International Joint Conference on Theory and Practice of Software Development (1st : 1985 : Berlin, Germany) http://id.loc.gov/authorities/names/nb2013005361
- Publication
- Berlin ; New York : Springer-Verlag, [1985], ©1985.
Items in the Library & Off-site
Filter by
2 Items
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA76.76.D47 I57 1985 v.1 | Off-site | |
| Text | Request in advance | QA76.76.D47 I57 1985 v.2 | Off-site |
Details
- Additional Authors
- Ehrig, Hartmut
- Description
- 2 volumes : illustrations; 25 cm.
- Series Statement
- Lecture notes in computer science ; 185-186
- Uniform Title
- Lecture notes in computer science ; 185-186.
- Subject
- Computer software > Development > Congresses
- Bibliography (note)
- Includes bibliographies and index.
- Contents
- v. 1. Mathematical foundations of software development / Colloquium on Trees in Algebra and Programming (CAAP '85) -- v. 2. Formal methods and software development / Colloquium on Software Engineering (CSE).
- ISBN
- 0387151982 (U.S. : v. 1)
- 0387151990 (U.S. : v. 2)
- LCCN
- 85004712
- Owning Institutions
- Columbia University Libraries