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

Dukung
€46.88
cara pembayaran
Beli ebook ini dan dapatkan 1 lagi GRATIS!
Bahasa Jerman ● Format PDF ● ISBN 9783642847448 ● Penerbit Springer Berlin Heidelberg ● Diterbitkan 2013 ● Diunduh 3 kali ● Mata uang EUR ● ID 6335029 ● Perlindungan salinan Adobe DRM
Membutuhkan pembaca ebook yang mampu DRM

Ebook lainnya dari penulis yang sama / Editor

16,453 Ebooks dalam kategori ini