Cover image for Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
Title:
Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
Author:
Baier, Christel. editor.
ISBN:
9783319926124
Edition:
1st ed. 2018.
Physical Description:
XI, 197 p. 2095 illus., 16 illus. in color. online resource.
Series:
Programming and Software Engineering ; 10854
Subject Term:
Software engineering.

Operating systems (Computers).

Computer science.

Computer security.

Computer Communication Networks.

Computer network architectures.
Added Author:
Baier, Christel.

Caires, Luís.
Added Corporate Author:
SpringerLink (Online service)
Electronic Access:
https://doi.org/10.1007/978-3-319-92612-4
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
 E-Book 401312-1001 ONLINE
Searching...

On Order