Formal models in programming : proceedings of the IFIP TC2 Working Confernece on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985

書誌事項

Formal models in programming : proceedings of the IFIP TC2 Working Confernece on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985

edited by E. J. Neuhold and G. Chroust

North-Holland, 1985

この図書・雑誌をさがす

注記

Includes bibliographies

詳細情報

ページトップへ

AltStyle によって変換されたページ (->オリジナル) /