Bücher nach ISBN
>
Springer
> Matthew Dwyer
Matthew Dwyer
Titel
ISBN-13
(ISBN-10)
Erscheinungsjahr
Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
978-3-54O-42124-5
(3-54O-42124-6)
2008
Dwyer, Matthew
·
M. D.
·
Matthew B. Dwyer
Matthew Dyer