Udvidet returret til d. 31. januar 2025

Formal Techniques for Networked and Distributed Systems - FORTE 2005 - Bog

- 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

Bag om Formal Techniques for Networked and Distributed Systems - FORTE 2005

Constitutes the proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2005, held in Taiwan, in October 2005. These papers cover various aspects of formal methods for distributed systems and communication protocols.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540291893
  • Indbinding:
  • Paperback
  • Sideantal:
  • 558
  • Udgivet:
  • 26. september 2005
  • Udgave:
  • 2005
  • Størrelse:
  • 234x156x29 mm.
  • Vægt:
  • 1760 g.
  • 8-11 hverdage.
  • 2. december 2024
På lager

Normalpris

  • BLACK NOVEMBER

Medlemspris

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

Beskrivelse af Formal Techniques for Networked and Distributed Systems - FORTE 2005

Constitutes the proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2005, held in Taiwan, in October 2005. These papers cover various aspects of formal methods for distributed systems and communication protocols.

Brugerbedømmelser af Formal Techniques for Networked and Distributed Systems - FORTE 2005



Find lignende bøger
Bogen Formal Techniques for Networked and Distributed Systems - FORTE 2005 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.