Formal description techniques, III : proceedings of the IFIP TC/WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '90, Madrid, Spain, 5-8 November, 1990

書誌事項

Formal description techniques, III : proceedings of the IFIP TC/WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '90, Madrid, Spain, 5-8 November, 1990

edited by Juan Quemada, Jose Mañas, Enrique Vázquez

North-Holland , Distributors for the US and Canada, Elsevier Science Pub. Co., 1991

タイトル別名

Formal description techniques, 3

Formal description techniques, three

大学図書館所蔵 件 / 10

この図書・雑誌をさがす

注記

Includes bibliographical references

詳細情報

ページトップへ