Bücher nach ISBN > Springer > David K. Probst

David K. Probst

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr		andere Autoren
Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings978-3-54O-56496-6
(3-54O-56496-9)		2008Gregor von Bochmann

D.K · D. P. · David K. · David P. · David Probst · K.P.

David K. Professor Chan