De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
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

- 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

indgår i Programming and Software Engineering serien

indgår i Lecture Notes in Computer Science 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 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016. The 18 revised full papers presented were carefully reviewed and selected from 44 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783319395692
  • Indbinding:
  • Paperback
  • Sideantal:
  • 275
  • Udgivet:
  • 27. juni 2016
  • Udgave:
  • 12016
  • Størrelse:
  • 155x235x15 mm.
  • Vægt:
  • 4453 g.
  • 8-11 hverdage.
  • 10. december 2024
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

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

This book constitutes the proceedings of the 36th IFIP WG 6.1
International Conference on Formal Techniques for Distributed Objects,
Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June
2016, as part of the 11th International Federated Conference on
Distributed Computing Techniques, DisCoTec 2016.

The 18 revised full papers presented were carefully reviewed and
selected from 44 submissions. The papers present a wide range of topics
on distributed computing models and formal specification, testing, and
verification methods.

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: