Cover image for 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
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:
https://doi.org/10.1007/978-3-319-19195-9
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
 E-Book 519200-1001 XX(519200.1)
Searching...

On Order