Cover von Formal Techniques for Distributed Objects, Components, and Systems opens in new tab

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
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10854
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: LNCS 10854 Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

International Conference on Formal Techniques for Distributed Objects, Components, and Systems <38, 2018, Madrid>

Details

Search for this author
Year: 2018
Publisher: Heidelberg, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-319-92611-7
ISBN (2nd): 3-319-92611-X
Description: XI, 195 S.
Series: Lecture notes in computer science; 10854
Participating parties: Search for this character Baier, Christel; Caires, Luis
Media group: MONOGRAPHIE