Lecture Notes in Computer Science 4514 Logical Foundations of Computer Science International Symposi
LFCS 20072007 年出版513 页ISBN:9783540727323
Java structures : data structures in Java for the principled programmer
Bailey2003 年出版514 页ISBN:0072399090
Lecture Notes in Computer Science 4646 Computer Science Logic 21st International Workshop
CSL 2007 16th Annual Conference of the EACSL2007 年出版600 页ISBN:9783540749141