Research Catalog
The Vienna development method : the Meta-language / edited by D. Bjørner and C. B. Jones.
- Title
- The Vienna development method : the Meta-language / edited by D. Bjørner and C. B. Jones.
- Publication
- Berlin ; New York : Springer-Verlag, 1978.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Request in advance | JSE 81-17 | Offsite |
Details
- Additional Authors
- Description
- xv, 382 p.; 25 cm.
- Series Statement
- Lecture notes in computer science, 61
- Alternative Title
- Meta-language.
- Subject
- Bibliography (note)
- Bibliography: p. [375]-382.
- Call Number
- JSE 81-17
- ISBN
- 0387087666
- LCCN
- 78007232
- OCLC
- 3843153
- NYPG804907369-B
- Title
- The Vienna development method : the Meta-language / edited by D. Bjørner and C. B. Jones.
- Imprint
- Berlin ; New York : Springer-Verlag, 1978.
- Series
- Lecture notes in computer science, 61
- Bibliography
- Bibliography: p. [375]-382.
- Added Author
- Bjørner, D. (Dines), 1937-Jones, C. B. (Cliff B.), 1944-
- Added Title
- Meta-language.
- Research Call Number
- JSE 81-17