Formal Development of Programs and Proofs (The Ut Year of Programming Series) indir kitap bedava
itibaren Addison Wesley
Formal Development of Programs and Proofs (The Ut Year of Programming Series)
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
Formal Development of Programs and Proofs (The Ut Year of Programming Series):1 Ağustos 1989
Son kitaplar
Popüler yazarlar
Kolektif (3966) Springer (1155) KOMİSYON (445) Varios Autores (286) Kollektif (203) Cambridge University Press (173) Springer; 1 basım (152) ohne Autor (141) Sigmund Freud (120) American Society of Mechanical Engineers (113) Oxford University Press (110) etc. (104) NA. VIKRAMAN (104) John Wiley & Sons Inc (93) Jules Verne (91) de Gruyter (90) Asian Development Bank (72) Springer; 1. baskı (71) ASME (70) Garcia Santiago (67)En İyi Yayıncılar
Springer Forgotten Books CAMBRIDGE UNIVERSITY PRESS Adalet Yayınevi Oxford University Press John Wiley & Sons Inc Peter Lang GmbH, Internationaler Verlag der Wissenschaften MACMILLAN EDUCATION Independently Published de Gruyter Springer; 1 basım On İki Levha Yayınları Doğan Egmont Yayıncılık; 1. baskı İş Bankası Kültür Yayınları; 1. baskı PRENTICE HALL Longman Oxford University Press España, S.A. İş Bankası Kültür Yayınları; Facsimile. baskı 1001 Çiçek Kitaplar; 1. baskı Kessinger Publishingİlgili kitaplar
