Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings
tarafından
 
Gorrieri, Roberto. editor.

Başlık
Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

Yazar
Gorrieri, Roberto. editor.

ISBN
9783540348955

Fiziksel Tanımlama
X, 267 p. Also available online. online resource.

Seri
Lecture Notes in Computer Science, 4037

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

Konu Terimleri
Computer science.
 
Computer Communication Networks.
 
Software engineering.
 
Operating systems (Computers).
 
Logic design.

Yazar Ek Girişi
Wehrheim, Heike.

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

Elektronik Erişim
http://dx.doi.org/10.1007/11768869


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