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
by
Graf, Susanne. editor.
Title
:
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
Author
:
Graf, Susanne. editor.
ISBN
:
9783319191959
Edition
:
1st ed. 2015.
Physical Description
:
XII, 245 p. 47 illus. online resource.
Series
:
Programming and Software Engineering, 9039
Contents
:
Ensuring Properties of Distributed Systems -- Formal Models of Concurrent and Distributed Systems -- Real Time Systems -- Security -- Efficient Verification Techniques.
Added Author
:
Graf, Susanne.
Viswanathan, Mahesh.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Online Library | E-Book | 519200-1001 | ONLINE | | Elektronik Kütüphane |