Lecture Notes in Computer Science 2900 CASL User Manual Introduction to Using the Common Algebraic S
2004 年出版240 页ISBN:354020766X
KEY TO CARTER'S ADVANCED ACCOUNTS FILLY-WORKED SUGGESTED SOLUTIONS TO THE EXERCIESE IN THE SEVENTH E
1974 年出版236 页ISBN:027301093X
Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20052005 年出版588 页ISBN:3540253335