Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN:3540112103
Lecture Notes in Computer Science 4125 Databases
Information Systems2007 年出版0 页ISBN:
Lecture Notes in Computer Science 4349 Verification
Model Checking2007 年出版0 页ISBN:
Lecture Notes in Computer Science 3385 Verification
Moel Checking2005 年出版0 页ISBN:
Lecture Notes in Computer Science 2944 Databases
Information Systems2004 年出版0 页ISBN:
Lecture Notes in Computer Science 3367 Databases
Information Systems2005 年出版0 页ISBN:
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN: