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 Methods for Distributed System Development

Formal Methods for Distributed System Development

- FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Ita

indgår i IFIP Advances in Information and Communication Technology serien

Formal Methods for Distributed System Development
Bag om Formal Methods for Distributed System Development

Second, one of the several myths about FM's - the fact that their adoption would eventually eliminate the need for testing - is still quite far from becoming a reality, and, again, this book indicates that testing theory and applications are still remarkably healthy.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780792379683
  • Indbinding:
  • Hardback
  • Sideantal:
  • 412
  • Udgivet:
  • 30. september 2000
  • Udgave:
  • 2000
  • Størrelse:
  • 234x156x23 mm.
  • Vægt:
  • 1710 g.
  • 8-11 hverdage.
  • 18. december 2024
Forlænget returret til d. 31. januar 2025

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 Methods for Distributed System Development

Second, one of the several myths about FM's - the fact that their adoption would eventually eliminate the need for testing - is still quite far from becoming a reality, and, again, this book indicates that testing theory and applications are still remarkably healthy.

Brugerbedømmelser af Formal Methods for Distributed System Development



Andre købte også..
Find lignende bøger
Bogen Formal Methods for Distributed System Development findes i følgende kategorier: