书名: 可信软件设计
ISBN: 978-7-111-42819-0
作 者: (美)Bijay K. Jayaswal,(美)Peter C. Patton著
出版社: 机械工业出版社
出版日期: 2013