De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Formal Description Techniques and Protocol Specification, Testing and Verification

- FORTE X / PSTV XVII '97

Bag om Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic).

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780412820601
  • Indbinding:
  • Hardback
  • Sideantal:
  • 550
  • Udgivet:
  • 1. oktober 1997
  • Udgave:
  • 1997
  • Størrelse:
  • 234x156x31 mm.
  • Vægt:
  • 2170 g.
  • 8-11 hverdage.
  • 16. januar 2025
Forlænget returret til d. 31. januar 2025
  •  

    Kan ikke leveres inden jul.
    Køb nu og print et gavebevis

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 Description Techniques and Protocol Specification, Testing and Verification

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic).

Brugerbedømmelser af Formal Description Techniques and Protocol Specification, Testing and Verification



Find lignende bøger
Bogen Formal Description Techniques and Protocol Specification, Testing and Verification findes i følgende kategorier: