Lecture Notes in Computer Science 4017 Embedded Computer Systems:Architectures
Modeling2006 年出版0 页ISBN:
Lecture Notes in Computer Science 4262 Formal Approaches to Software Testing and Runtime Verificatio
2006 年出版255 页ISBN:9783540496991
Lecture Notes in Computer Science 2931 Formal Approaches to Software Testing Third International Wor
FATES 20032004 年出版267 页ISBN:3540208941
Lecture Notes in Computer Science 21 Compiler Construction An Advanced Course
1974 年出版621 页ISBN:3540069585
Lecture Notes in Computer Science 3997 Formal Approaches to Software Testing 5th International Works
FATES 20052006 年出版218 页ISBN:3540344543
Lecture Notes in Computer Science 3395 Formal Approaches to Software Testing 4th International Works
FATES 20042005 年出版225 页ISBN:354025109X
Lecture Notes in Computer Science 80 Pictorial Information Systems
1980 年出版445 页ISBN:3540097570
Lecture Notes in Computer Science 3941 Interactive Systems Design
Specification2006 年出版0 页ISBN: