Program specification and transformation : proceedings of the IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15-17 April 1986

書誌事項

Program specification and transformation : proceedings of the IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15-17 April 1986

edited by L.G.L.T. Meertens

North-Holland , Sole distributors for the U.S.A. and Canada, 1987

大学図書館所蔵 件 / 14

この図書・雑誌をさがす

注記

Includes index

詳細情報

ページトップへ