Black November: Store besparelser hele måneden Vi fejrer Black Friday hele november måned med store besparelser
Udvidet returret til d. 31. januar 2025
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems - Bog

- 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

indgår i Lecture Notes in Computer Science serien

indgår i Programming and Software Engineering serien

Formal Techniques for Distributed Objects, Components, and Systems
Bag om Formal Techniques for Distributed Objects, Components, and Systems

This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783319926117
  • Indbinding:
  • Paperback
  • Sideantal:
  • 197
  • Udgivet:
  • 30. maj 2018
  • Udgave:
  • 12018
  • Vægt:
  • 3285 g.
  • 8-11 hverdage.
  • 2. december 2024

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Formal Techniques for Distributed Objects, Components, and Systems

This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.

Brugerbedømmelser af Formal Techniques for Distributed Objects, Components, and Systems



Andre købte også..
Find lignende bøger
Bogen Formal Techniques for Distributed Objects, Components, and Systems findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.