Formal description techniques II : proceedings of the IFIP TC/WG 6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '89, Vancouver, Canada, 5-8 December 1989

書誌事項

Formal description techniques II : proceedings of the IFIP TC/WG 6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '89, Vancouver, Canada, 5-8 December 1989

edited by Son T. Vuong

North-Holland, 1990

大学図書館所蔵 件 / 12

この図書・雑誌をさがす

注記

Includes bibliographical references

詳細情報

ページトップへ