Bücher nach ISBN > Springer > Tayssir Touili

Tayssir Touili

T.T.

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr		andere Autoren
Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings978-3-642-14294-9
(3-642-14294-X)		2010Byron Cook · Paul Jackson

Taz Tagore