Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings / edited by D. Bjørner.
Material type:
TextLanguage: English Series: Lecture notes in computer science ; 86Publication details: Berlin : Springer-Verlag, 1980.Description: xi, 566, [1] p. : ill. ; 25 cmISBN: - 0387100075 (U.S. : pbk.)
- 001.64/2
- QA76.6 .C656 1979
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
წიგნი
|
ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ. | 004 (Browse shelf(Opens below)) | 2E32372 | შესამოწმებელია | 2017-304691 |
Sponsored by the Commission of the European Communities and others.
Includes bibliographies.
There are no comments on this title.
Log in to your account to post a comment.