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

Skip to:Content

|

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.

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... Online Library	E-Book	401312-1001	ONLINE	Searching... Unknown	Searching... Unavailable

On Order

Go to:Top of Page