Marknadens största urval
Snabb leverans

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780412794902
  • Format:
  • Inbunden
  • Sidor:
  • 518
  • Utgiven:
  • 30. september 1996
  • Utgåva:
  • 1996
  • Mått:
  • 155x235x30 mm.
  • Vikt:
  • 2040 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 17. december 2024

Beskrivning 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.

Användarnas betyg av Formal Description Techniques IX



Hitta liknande böcker
Boken Formal Description Techniques IX finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.