Bücher nach ISBN > Springer > Thomas Henzinger

Thomas Henzinger

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr		andere Autoren
Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings978-3-54O-61474-6
(3-54O-61474-5)		2008Rajeev Alur

T.H. · Thomas A. Henzinger · Thomas H

Thomas Henzschel