| Shelfclass_id | 3.A |
| Sortkey | BJØRNER, DINES |
| Authors | Dines Bjørner |
| Title | Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings |
| Publisher | Springer |
| Year | 1980 |
| Languages | eng |
| Isbn | 0387100075, 3540100075 |
| Series | Lecture Notes in Computer Science |
| Volume | 86 |
| Issn | 0302-9743 |
| Description | 566 p. diagr. |
| Record date | 20090827 |
| Location | New York |
| Notes | Björner, Bjorner |