Prentice Hall Uluslararası Bilgisayar Bilimleri Serisi - Prentice Hall International Series in Computer Science

Prentice Hall Uluslararası Bilgisayar Bilimleri Serisi hakkında bir dizi kitap bilgisayar Bilimi tarafından yayınlandı Prentice Hall.^[1]

Serinin kurucu editörü Tony Hoare. Richard Bird daha sonra dizinin düzenlemesini üstlendi. Serideki kitapların çoğu, resmi yöntemler özellikle.

Seçilmiş kitaplar

Dizide şu kitaplar yayınlandı:^[1]

• R. S. Bird, Haskell kullanarak Fonksiyonel Programlamaya Giriş, 2. baskı, 1998. ISBN  0-13-484346-0.
• R. S. Bird ve O. de Moor, Programlama Cebiri, 1996. ISBN  0-13-507245-X. (Serideki 100. cilt.)
• O.-J. Dahl, Doğrulanabilir Programlama, 1992. ISBN  0-13-951062-1.
• D. M. Gabbay, Temel Mantık: Yordamsal Bir Perspektif, 1998. ISBN  0-13-726365-1.
• I. J. Hayes (ed.), Spesifikasyon Durum Çalışmaları, 2. baskı, 1993. ISBN  0-13-832544-8.
• M. G. Hinchey ve J. P. Bowen (eds.), Biçimsel Yöntemlerin Uygulamaları, 1996. ISBN  0-13-366949-1.
• C.A. R. Hoare, Sıralı Süreçlerin İletişimi, 1985. ISBN  0-13-153271-5 ciltli veya ISBN  0-13-153289-8 ciltsiz.
• C.A. R. Hoare ve M. J. C. Gordon, Mekanize Muhakeme ve Donanım Tasarımı, 1998. ISBN  0-13-572405-8.
• C.A. R. Hoare ve O Jifeng, Programlama Teorilerini Birleştirme, 1998. ISBN  0-13-458761-8.
• INMOS Limited, Occam 2 Başvuru Kılavuzu, 1988. ISBN  0-13-629312-3.
• Cliff Jones, VDM Kullanarak Sistematik Yazılım Geliştirme, 1986. ISBN  0-13-880725-6 ciltli veya ISBN  0-13-880717-5 ciltsiz.
• M. Joseph (ed.), Gerçek Zamanlı Sistemler: Spesifikasyon, Doğrulama ve Analiz, 1996. ISBN  0-13-455297-0.
• Bertrand Meyer, Nesneye Yönelik Yazılım Yapısı (yalnızca ilk baskı).
• Robin Milner, İletişim ve Eşzamanlılık, 1989. ISBN  0-13-115007-3 (ciltsiz kitap için).
• C. C. Morgan, Spesifikasyonlardan Programlama, 2. baskı, 1994. ISBN  0-13-123274-6.
• P.N. Nissanke, Gerçek Zamanlı Sistemler, 1997. ISBN  0-13-651274-7.
• B. Potter, J. Sinclair ve D. Till, Biçimsel Spesifikasyon ve Z'ye Giriş, 2. baskı, 1996. ISBN  0-13-242207-7.
• A. W. Roscoe (ed.), Klasik Bir Zihin: C.A.R. Hoare Onuruna Denemeler, 1994. ISBN  0-13-294844-3.
• A. W. Roscoe, Eşzamanlılık Teorisi ve Uygulaması, 1997. ISBN  0-13-674409-5.
• J. M. Spivey, Z Notasyonu: Bir Referans Kılavuzu, 2. baskı, 1992. ISBN  0-13-978529-9.
• J. C. P. Woodcock ve J. W. Davies, Z Kullanımı: Spesifikasyon, İyileştirme ve Kanıt, 1996. ISBN  0-13-948472-8.

Referanslar

Bir bilgisayar kitabı veya kitap dizisi hakkındaki bu makale, Taslak. Wikipedia'ya şu yolla yardım edebilirsiniz: genişletmek.