Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
tarafından
 
Dams, Dennis. editor.

Başlık
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever

Yazar
Dams, Dennis. editor.

ISBN
9783642115127

Fiziksel Tanımlama
377p. 94 illus. online resource.

Seri
Lecture Notes in Computer Science, 5930

Seri Başlığı
Lecture Notes in Computer Science, 0302-9743 ; 5930

Konu Terimleri
Computer science.
 
Software engineering.
 
Computer software.
 
Logic design.

Yazar Ek Girişi
Hannemann, Ulrich.
 
Steffen, Martin.

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

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


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