Research Catalog
Formal methods and software development
- Title
- Formal methods and software development / Colloquium on Software Engineering (CSE) ; edited by Hartmut Ehrig ... [et al.].
- Author
- Colloquium on Software Engineering (1985 : Berlin, Germany)
- 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 | Use in library | QA76.76.D47 I57 1985 vol.2 | Off-site |
Details
- Additional Authors
- Ehrig, Hartmut
- Description
- xiv, 455 p. : ill.; 25 cm.
- Series Statement
- Lecture notes in computer science ; 186
- Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 2
- International Joint Conference on Theory and Practice of Software Development (1985 : Berlin, Germany). Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 2.
- Subject
- Computer software > Development > Congresses
- Bibliography (note)
- Includes bibliographies and index.
- ISBN
- 0387151990 (U.S.)
- LCCN
- 85004716
- OCLC
- ocm11814016
- SCSB-613916
- Owning Institutions
- Princeton University Library