The Theory of Computer Science A Programming Approach
J.M.BRADY2222 年出版287 页ISBN：
PASCAL An Introduction to the Art and Science of Programming
1984 年出版550 页ISBN：0805383700
Reasoning Robots The Art and Science of Programming Robotic Agents
Michael Thielscher2005 年出版327 页ISBN：
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
PASCAL:AN INTRODUCTION TO THE ART AND SCIENCE OF PROGRAMMING FOURTH EDITION
WALTER SAVITCH1995 年出版673 页ISBN：0805374582
Lecture Notes in Computer Science 106 The Programming Language Ada
1980 年出版243 页ISBN：3540106936
Lecture Notes in Computer Science 4010 Unifying Theories of Programming First International Symposiu
UTP 20062006 年出版257 页ISBN：354034750X
Lecture Notes in Computer Science 3258 Principles and Practice of Constraint Programming-CP 2004
2004 年出版822 页ISBN：3540232419
Lecture Notes in Computer Science 4741 Primnciples and Practice of Constraint Programming-CP 2007
2007 年出版890 页ISBN：9783540749691
