На данной странице предаставлены все книги автора «D. Bjorner»
Abstract Software Specifications. 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings (D. Bjorner)