Utvidet returrett til 31. januar 2025

Formal Description Techniques IX

- Theory, application and tools

Om Formal Description Techniques IX

This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780412794902
  • Bindende:
  • Hardback
  • Sider:
  • 518
  • Utgitt:
  • 30. september 1996
  • Utgave:
  • 1996
  • Dimensjoner:
  • 155x235x30 mm.
  • Vekt:
  • 2040 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 6. desember 2024

Beskrivelse av Formal Description Techniques IX

This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs.

Brukervurderinger av Formal Description Techniques IX



Finn lignende bøker
Boken Formal Description Techniques IX finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.