Susanne Biundo 
Automatische Synthese rekursiver Programme als Beweisverfahren [PDF ebook] 

Soporte
€46.88
Métodos de pago
¡Compre este libro electrónico y obtenga 1 más GRATIS!
Idioma Alemán ● Formato PDF ● ISBN 9783642847448 ● Editorial Springer Berlin Heidelberg ● Publicado 2013 ● Descargable 3 veces ● Divisa EUR ● ID 6335029 ● Protección de copia Adobe DRM
Requiere lector de ebook con capacidad DRM

Más ebooks del mismo autor / Editor

16.453 Ebooks en esta categoría