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) indir odf

itibaren

Bir format seçin:

zip 7.4 Mb indir
rar 9.6 Mb indir
epub 8.3 Mb indir
odf 10.9 Mb indir
djvu 5.8 Mb indir
pdf 6.9 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