Home | Help | New Search | 中文模式	AS Library Service

Request Verification Requesting Formal systems specification : the RPC-memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies, eds Requesting Formal systems specification : the RPC-memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies, eds Please enter the following information: For example, type "Jane Smith" and then press the RETURN key. Your Name: 例如, 輸入 "A123456789", 然後按 RETURN 鍵. ID NO.

Home | Help | 中文模式

This site best viewed with IE7.0、FireFox2.0、Safari3.1.1、Opera9.27 @1024*768