Número de Cutter-SanbornA646pEntrada «App» → 646 · marca de obra “p”

Program Logics for Certified Compilers

Name: Program Logics for Certified Compilers
ISBN: 9781139899383

Autor	Andrew W. Appel, Robert Dockins, Aquinas Hobor, Lennart Beringer, Josiah Dodds
Editorial	Cambridge University Press
Fecha de publicación	2014
Idioma	inglés
ISBN-13	9781139899383
Número de Cutter	`A646p`

Program Logics for Certified Compilers (2014) — ISBN 9781139899383 | Cutter Number