R. Gotzhein,
J. Bredereke
Formal Description Techniques IX
Theory, application and tools
Gebonden Engels 1996 1996e druk 9780412794902Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
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.
Specificaties
ISBN13:9780412794902
Taal:Engels
Bindwijze:gebonden
Aantal pagina's:518
Uitgever:Springer US
Druk:1996
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
Tools and tool support. FDT-application. FDT-based system and protocol engineering. Performance modelling and analysis. Real-time and probability aspects. Verification and validation. Industrial usage reports. Extensions of FDTs and semantical foundations.
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan