登入選單
返回Google圖書搜尋
Development of Automatic Program Verification for Continuous Function Chart Based on Model Checking
Awang Noor Indra Wardana
出版kassel university press GmbH, 2009
ISBN389958807X9783899588071
URLhttp://books.google.com.hk/books?id=4ZuHzXWGA2oC&hl=&source=gbs_api
EBookSAMPLE