Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
tarafından
Beyer, Dirk. editor.
Başlık
:
Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Yazar
:
Beyer, Dirk. editor.
ISBN
:
9783642385926
Fiziksel Tanımlama
:
XIV, 321 p. 66 illus. online resource.
Seri
:
Lecture Notes in Computer Science, 7892
Konu Terimleri
:
Computer science.
Software engineering.
Logic design.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Mathematical Logic and Formal Languages.
Yazar Ek Girişi
:
Boreale, Michele.
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 | 334630-1001 | ONLINE(334630.1) | | Elektronik Kütüphane |