Abstract Software Specifications 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings

Bibliographic Details
Other Authors: Bjorner, D. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1980, 1980
Edition:1st ed. 1980
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Description
Physical Description:XVI, 572 p online resource
ISBN:9783540381365