Addison Wesley Formal Development of Programs and Proofs (The Ut Year of Programming Series) - indir bedava kayıt olmadan

Baskı Detayları
Yazar Addison Wesley
İsbn 10 0201172372
İsbn 13 978-0201172379
Yayın Evi 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

Son kitaplar

İlgili kitaplar

Acm Turing Award Lectures: The First Twenty Years : 1966 to 1985 (Acm Press Anthology Series)


indir bedava
Cmos3 Cell Library: Three Cell Library


indir bedava
Cathodic Protection: A Practical Guide (Ellis Horwood Series in Corrosion Science)


indir bedava
The Ingres Papers: Anatomy of a Relational Database System (Addison-Wesley Series in Computer Science)


indir bedava
Computers and Learning


indir bedava
Computer Graphics Proceedings: Annual Conference Series 1998 : Siggraph 98 Conference Proceedings July 19-24, 1998: International Conference Proceedings


indir bedava