Bücher nach ISBN > Springer > Georges Gonthier

Georges Gonthier

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr		andere Autoren
Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings978-3-319-O3544-4
(3-319-O3544-4)		2013Michael Norrish

g G · Georges Güntert · Georges Guntert

Georges Gordon-Lennox