FORMAL DEVELPMENT OF PROGRAMS AND PROOFS
EDSGER W.DUKSTRA2222 年出版242 页ISBN:0201172372
Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN:3540278826
FORMAL PHILOSOPHY SELECTED PAPERS OF RICHARD MONTAGUE
RICHMOND H. THOMASON1979 年出版369 页ISBN:
Informatik-Fachberichte 36 The Use of Formal Specification of Software
1980 年出版388 页ISBN:3540104429
THE IDEOLOGIES OF THEORY VOLUME 2:THE SYNTAX OF HISTORY
2222 年出版230 页ISBN:0816615756