Limit search to available items
Book Cover
Author FORTE (Conference) (36th : 2016 : Ērakleion, Greece)

Title Formal techniques for distributed systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, proceedings / Elvira Albert, Ivan Lanese (eds.)
Published Switzerland : Springer, 2016
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (xvi, 275 pages) : illustrations
Series LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 9688
LNCS sublibrary. SL 2, Programming and software engineering.
Lecture notes in computer science ; 9688
Notes International conference proceedings
Subject Electronic data processing -- Distributed processing -- Congresses.
Formal methods (Computer science) -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Albert, Elvira, editor
Lanese, Ivan, editor
International Federated Conferences on Distributed Computing Techniques (11th : 2016 : Ērakleion, Greece), jointly held conference
ISBN 9783319395708 (electronic bk)
331939570X (electronic bk)
Other Titles FORTE 2016
DisCoTec 2013