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

Sokongan
€46.88
cara bayaran
Beli ebook ini dan dapatkan 1 lagi PERCUMA!
Bahasa Jerman ● Format PDF ● ISBN 9783642847448 ● Penerbit Springer Berlin Heidelberg ● Diterbitkan 2013 ● Muat turun 3 kali ● Mata wang EUR ● ID 6335029 ● Salin perlindungan Adobe DRM
Memerlukan pembaca ebook yang mampu DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

16,453 Ebooks dalam kategori ini