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

Ajutor
€47.79
Metode de plata
Cumpărați această carte electronică și primiți încă 1 GRATUIT!
Limba Germana ● Format PDF ● ISBN 9783642847448 ● Editura Springer Berlin Heidelberg ● Publicat 2013 ● Descărcabil 3 ori ● Valută EUR ● ID 6335029 ● Protecție împotriva copiilor Adobe DRM
Necesită un cititor de ebook capabil de DRM

Mai multe cărți electronice de la același autor (i) / Editor

16.612 Ebooks din această categorie