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 Networked and Distributed Systems - FORTE 2005

Formal Techniques for Networked and Distributed Systems - FORTE 2005

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

indgår i Programming and Software Engineering serien

Formal Techniques for Networked and Distributed Systems - FORTE 2005
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.
  • 6. 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 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



Andre købte også..
Find lignende bøger
Bogen Formal Techniques for Networked and Distributed Systems - FORTE 2005 findes i følgende kategorier: