Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings (Lecture Notes in Computer Science (86), Band 86)

von D. Bjorner

Taschenbuch

ISBN-13: 978-3-540-10007-2

ISBN-10: 3-540-10007-5

Siehe auch (möglicherweise von anderen Autoren):
1980	Paperback	Abstract Software Specifications: 1979 Copenhagen Winter School, January 22-February 2, 1979: Proceedings (Lecture Notes in Computer Science, 86)