Cover von Formal Techniques for Distributed Systems opens in new tab

Formal Techniques for Distributed Systems

Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3 - 5, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7892
Media group: MONOGRAPHIE
available

Copies

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

Content

International Conference on Formal Techniques for Distributed Systems <8, 2013, Florence>

Details

Search for this author
Year: 2013
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-642-38591-9
ISBN (2nd): 3-642-38591-5
Description: XIII, 320 S.
Series: Lecture notes in computer science; 7892
Participating parties: Search for this character Beyer, Dirk; Boreale, Michele
Media group: MONOGRAPHIE