Udvidet returret til d. 31. januar 2025

Formal Techniques for Distributed Systems - Bog

- Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings

Bag om Formal Techniques for Distributed Systems

This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783642214608
  • Indbinding:
  • Paperback
  • Sideantal:
  • 349
  • Udgivet:
  • 23. maj 2011
  • Udgave:
  • 2011
  • Størrelse:
  • 235x155x20 mm.
  • Ukendt - mangler pt..

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 Systems

This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events.

Brugerbedømmelser af Formal Techniques for Distributed Systems



Find lignende bøger
Bogen Formal Techniques for Distributed 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.