Bücher nach ISBN
>
Springer
> Wenhui Zhang (eds.)
Wenhui Zhang (eds.)
W. Zhang
·
Wenhui Zhang
Titel
ISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Automated technology for verification and analysis 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006: proceedings
978-3-54O-47238-4
(3-54O-47238-X)
2006
Susanne Graf
Wenjie Zhang