Certified Programs and Proofs

Dades bibliogràfiques
Altres autors: Gonthier
Format: Electrònic eBook
Idioma:English
Publicat: Springer International Publishing, 2013
Edició:1
Matèries:
Accés en línia:Full text available on Springer
Off-campus access
Descripció
Publicat:Vol. 8307
Descripció de l’ítem:<strong>Off-Campus Access:</strong> Athens ID and Password Required
<strong>On-Campus Access:</strong> No User ID or Password Required
Descripció física:1 online resource
Format:Mode of access: Internet
ISBN:978-3-319-03544-4
978-3-319-03545-1
Accés:Electronic access restricted to authorized BRAC University faculty, staff and students