We a good story
Quick delivery in the UK

Formal Description Techniques IX

- Theory, application and tools

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

Show more
  • Language:
  • English
  • ISBN:
  • 9780412794902
  • Binding:
  • Hardback
  • Pages:
  • 518
  • Published:
  • September 29, 1996
  • Edition:
  • 1996
  • Dimensions:
  • 155x235x30 mm.
  • Weight:
  • 2040 g.
Delivery: 2-3 weeks
Expected delivery: December 12, 2024

Description of 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.

User ratings of Formal Description Techniques IX



Find similar books
The book Formal Description Techniques IX can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.