Abstract software specifications : 1979 Copenhagen winter school, January 22-February 2, 1979 ; proceedings /

Saved in:
Bibliographic Details
Other Authors: Bjørner, D. (Editor)
Format: Book
Language:English
Published: Berlin ; Heidelberg ; New York : Springer-Verlag, 1980.
Series:Lecture notes in computer science vol. 86
ISBN: (brož.)
Physical Description: 566 s.
Tags: Add Tag
No Tags, Be the first to tag this record!