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
by
Baier, Christel. editor.
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
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 401312-1001 | ONLINE | | Elektronik Kütüphane |