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

Formal Techniques for Distributed Objects, Components, and Systems

37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19 - 22, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10231
Media group: MONOGRAPHIE
available

Copies

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

Content

International Conference on Formal Techniques for Distributed Objects <37, 2017, Neuchatel>

Details

Search for this author
Year: 2017
Publisher: Heidelberg, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-319-60224-0
ISBN (2nd): 3-319-60224-1
Description: XIV, 242 S.
Series: Lecture notes in computer science; 10231
Participating parties: Search for this character Bouajjani, Ahmed; Silva, Alexandra
Media group: MONOGRAPHIE