Spara
Formal Description Techniques IX
e-bok, 2016
Engelska
Läs i Adobe DRM-kompatibel e-boksläsareDen här e-boken är kopieringsskyddad med Adobe DRM vilket påverkar var du kan läsa den. Läs mer
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.
- Undertitel
- Theory, application and tools
- Redaktör
- J. Bredereke, R. Gotzhein
- ISBN
- 9780387350790
- Språk
- Engelska
- Utgivningsdatum
- 2016-01-09
- Förlag
- SPRINGER US
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
