Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
tarafından
Ábrahám, Erika. editor.
Başlık
:
Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
Yazar
:
Ábrahám, Erika. editor.
ISBN
:
9783662436134
Basım Bilgisi
:
1st ed. 2014.
Fiziksel Tanımlama
:
XII, 301 p. 75 illus. online resource.
Seri
:
Programming and Software Engineering ; 8461
Konu Terimleri
:
Computer logic.
Software engineering.
Computers.
Yazar Ek Girişi
:
Ábrahám, Erika.
Palamidessi, Catuscia.
Tüzel Kişi Ek Girişi
:
SpringerLink (Online service)
Elektronik Erişim
:
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Çevrimiçi Kütüphane | E-Kitap | 489372-1001 | ONLINE | | Elektronik Kütüphane |