Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings için kapak resmi
Başlık:
Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Yazar:
Graf, Susanne. editor.
ISBN:
9783319191959
Basım Bilgisi:
1st ed. 2015.
Fiziksel Tanımlama:
XII, 245 p. 47 illus. online resource.
Seri:
Programming and Software Engineering, 9039
İçerik:
Ensuring Properties of Distributed Systems -- Formal Models of Concurrent and Distributed Systems -- Real Time Systems -- Security -- Efficient Verification Techniques.
Yazar Ek Girişi:
Graf, Susanne.

Viswanathan, Mahesh.
Tüzel Kişi Ek Girişi:
SpringerLink (Online service)
Elektronik Erişim:
https://doi.org/10.1007/978-3-319-19195-9
Ayırtma:
Kopya:

Rafta:*

Kütüphane
Materyal Türü
Demirbaş Numarası
Yer Numarası
Durumu/İade Tarihi
Materyal Ayırtma
Arıyor...
 E-Kitap 519200-1001 ONLINE
Arıyor...

On Order