Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
by
Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180
Title
:
Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Author
:
Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180
ISBN
:
9783030217594
Edition
:
1st ed. 2019.
Physical Description
:
XIV, 299 p. 1287 illus., 38 illus. in color. online resource.
Series
:
Programming and Software Engineering ; 11535
Subject Term
:
Software engineering.
Programming languages (Electronic computers).
Computer system failures.
Computers.
Added Author
:
Pérez, Jorge A.
Yoshida, Nobuko.
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 | 485304-1001 | ONLINE | | Elektronik Kütüphane |