Software Engineering 2 Specification of Systems and Languages
tarafından
 
Bjørner, Dines. author.

Başlık
Software Engineering 2 Specification of Systems and Languages

Yazar
Bjørner, Dines. author.

ISBN
9783540331933

Fiziksel Tanımlama
XXIV, 777 p. 151 illus. online resource.

Seri
Texts in Theoretical Computer Science An EATCS Series

Seri Başlığı
Texts in Theoretical Computer Science An EATCS Series

Konu Terimleri
Computer science.
 
Software engineering.
 
Logic design.

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

Elektronik Erişim
http://dx.doi.org/10.1007/978-3-540-33193-3


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