10TH INTERNATIONAL OPTICAL COMPUTING CONFERENCE 1983
2222 年出版221 页ISBN:0818600047
VERIFICATION AND VALIDATION IN SCIENTIFIC COMPUTING
2010 年出版767 页ISBN:9780521113601
Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN:354029189X
Mathematics for Electrical Engineering and Computing
2003 年出版550 页ISBN:075065855X