Lecture Notes in Computer Science 4346 Formal Methods:Applications and Technology 11th International
FMICS 20062007 年出版364 页ISBN:9783540709510
PREDICATE CALCULUS AND PROGRAM SEMANTICS
EDSGER W.DIJKSTRA,CAREL S.SCHOLTEN1990 年出版220 页ISBN:7506210444
Lecture Notes in Computer Science 3697 Artificial Neural Networks:Formal Models and Their Applicatio
2005 年出版1045 页ISBN:3540287558