Formal Development of Programs and Proofs (The Ut Year of Programming Series)
Biçimi seçin
pdf
epub
kindle
mp3
Yazar | Addison Wesley |
---|---|
Yayın Evi | Addison Wesley |
tarafından gönderildi | 1 Ağustos 1989 |
4 Ocak 2017 Peter Lang GmbH, Internationaler Verlag der Wissenschaften Springer Springer John Wiley & Sons Inc Kollektif 1 Ocak 2017 Cambridge University Press Cambridge University Press 3 Ocak 2017 Forgotten Books Kolektif 1 Ocak 2018 18 Haziran 2018 5 Ocak 2017 KOMİSYON Varios Autores Adalet Yayınevi
indir okumak internet üzerinden
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
The Ingres Papers: Anatomy of a Relational Database System (Addison-Wesley Series in Computer Science)
indir bedava
Computer Graphics Proceedings: Annual Conference Series 1998 : Siggraph 98 Conference Proceedings July 19-24, 1998: International Conference Proceedings
indir bedava
Acm Turing Award Lectures: The First Twenty Years : 1966 to 1985 (Acm Press Anthology Series)
indir bedava
The Ingres Papers: Anatomy of a Relational Database System (Addison-Wesley Series in Computer Science)
indir bedava
Computer Graphics Proceedings: Annual Conference Series 1998 : Siggraph 98 Conference Proceedings July 19-24, 1998: International Conference Proceedings
indir bedava