Formal Development of Programs and Proofs (The Ut Year of Programming Series) indir

Isbn 10: 0201172372

Isbn 13: 978-0201172379

Formal Development of Programs and Proofs (The Ut Year of Programming Series) epub bedava indir

itibaren

Bir format seçin:

zip 9.1 Mb indir
rar 7.4 Mb indir
epub 10.9 Mb indir
odf 6.1 Mb indir
djvu 9.2 Mb indir
pdf 7.4 Mb indir

Kitap açıklaması

yazar :Addison Wesley
Isbn 10 :0201172372
Isbn 13 :978-0201172379
yayınevi :Addison Wesley
Boyutlar ve boyutlar :17.15 x 1.27 x 24.77 cm
Tarafından gönderildi Formal Development of Programs and Proofs (The Ut Year of Programming Series):1 Ağustos 1989