Foundations of Algebraic Specification and Formal Software Development
tarafından
 
Sannella, Donald. author.

Başlık
Foundations of Algebraic Specification and Formal Software Development

Yazar
Sannella, Donald. author.

ISBN
9783642173363

Fiziksel Tanımlama
XVI, 581p. online resource.

Seri
Monographs in Theoretical Computer Science. An EATCS Series,

Seri Başlığı
Monographs in Theoretical Computer Science. An EATCS Series, 1431-2654

Konu Terimleri
Computer science.
 
Software engineering.
 
Logic design.
 
Algebra.
 
Logic, Symbolic and mathematical.

Yazar Ek Girişi
Tarlecki, Andrzej.

Tüzel Kişi Ek Girişi
SpringerLink (Online service)

Elektronik Erişim
http://dx.doi.org/10.1007/978-3-642-17336-3


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap193572-2001ONLINEElektronik Kütüphane