Número de Cutter-SanbornJ86cEntrada «Jou» → 86 · marca de obra “c”

Certified Programs and Proofs

Name: Certified Programs and Proofs
ISBN: 9783642253799

First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

Autor	Jean-Pierre Jouannaud, Zhong Shao
Editorial	Springer London, Limited
Fecha de publicación	2011
Idioma	inglés
ISBN-13	9783642253799
Número de Cutter	`J86c`

Certified Programs and Proofs (2011) — ISBN 9783642253799 | Cutter Number