Formal techniques for distributed objects, components, and systems : 42nd IFIP WG 6.1 International Conference, FORTE 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-18, 2022, proceedings / / Mohammad Reza Mousavi, Anna Philippou, editors

• Record Nr.: UNISA996478867303316
• Pubbl/distr/stampa: Cham, Switzerland : , : Springer, , [2022]; ©2022
• ISBN: 3-031-08679-1
• Descrizione fisica: 1 online resource (222 pages)
• Collana: Lecture notes in computer science ; ; Volume 13273
• Disciplina: 004.36
• Soggetti: Electronic data processing - Distributed processing; Formal methods (Computer science); Software engineering
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references and index.