Data & IT

Formal Description Techniques IX

R Gotzhein • J Bredereke

Inbunden

4309:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

518 sidor
1996

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. It features state-of-the-art in theory, application, tools and industrialisation of formal description.

Författare: R Gotzhein, J Bredereke
Format: Inbunden
ISBN: 9780412794902
Språk: Engelska
Antal sidor: 518
Utgivningsdatum: 1996-09-01
Förlag: Chapman and Hall