Abstract software specifications : 1979 Copenhagen Winter School, January 22-February 2, 1979 : proceedings

Bibliographic Information

Abstract software specifications : 1979 Copenhagen Winter School, January 22-February 2, 1979 : proceedings

edited by D. Bjørner

(Lecture notes in computer science, 86)

Springer-Verlag, 1980

  • : gw
  • : us

Available at  / 50 libraries

Search this Book/Journal

Note

Sponsored by the Commission of the European Communities and others

Includes bibliographies

Related Books: 1-1 of 1

Details

Page Top