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

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: FORTE (VerfasserIn), International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks (Herausgebendes Organ), DisCoTec (VeranstalterIn)
Weitere Verfasser: Baier, Christel (HerausgeberIn), Caires, Luís (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2018
Schriftenreihe:Lecture notes in computer science 10854
Schlagworte:
Online Zugang:Inhaltsverzeichnis
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:X, 195 Seiten
Illustrationen
ISBN:9783319926117
978-3-319-92611-7