The Formal description technique Lotos : results of the ESPRIT/SEDOS Project

書誌事項

The Formal description technique Lotos : results of the ESPRIT/SEDOS Project

edited by Peter H.J. van Eijk, Chris A. Vissers, Michel Diaz

North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub., 1989

大学図書館所蔵 件 / 9

この図書・雑誌をさがす

注記

Includes bibliographies

詳細情報

ページトップへ