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

Copies

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) (print)

Other Titles FORTE 2016 DisCoTec 2013

  Permalink