Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
tarafından
Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180
Başlık
:
Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Yazar
:
Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180
ISBN
:
9783030217594
Basım Bilgisi
:
1st ed. 2019.
Fiziksel Tanımlama
:
XIV, 299 p. 1287 illus., 38 illus. in color. online resource.
Seri
:
Programming and Software Engineering ; 11535
Konu Terimleri
:
Software engineering.
Programming languages (Electronic computers).
Computer system failures.
Computers.
Yazar Ek Girişi
:
Pérez, Jorge A.
Yoshida, Nobuko.
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 | 485304-1001 | ONLINE | | Elektronik Kütüphane |