Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE VOLUME I:SETS
RELATIONS2222 年出版0 页ISBN：
Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN：
Design Theory and Computer Science Processes and Methodology of Computer Systems Design
1991 年出版428 页ISBN：9780521118156
The Theory of Computer Science A Programming Approach
J.M.BRADY2222 年出版287 页ISBN：
LECTUR ON NATURAL RIGHT AND POLITICAL SCIENCE THE FIRST PHILOSOPHY OF RIGHT
G.W.F.HEGEL2012 年出版356 页ISBN：978019651542
30TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE
2222 年出版632 页ISBN：0818619821
FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
G.GOOS AND J.HARTMANIS2222 年出版420 页ISBN：3540534873
