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

Proceedings

von D. Bjorner

Taschenbuch

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

ISBN-10: 3-540-10007-5

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