Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings 1980 Edition Contributor(s): Bjorner, D. (Editor) |
|
ISBN: 3540100075 ISBN-13: 9783540100072 Publisher: Springer OUR PRICE: $56.99 Product Type: Paperback Published: June 1980 |
Additional Information |
BISAC Categories: - Computers | Software Development & Engineering - General |
Dewey: 001.642 |
Series: Lecture Notes in Computer Science |
Physical Information: 1.19" H x 6.14" W x 9.21" (1.79 lbs) 572 pages |