Gregor von Bochmann,
Rachida Dssouli,
Omar Rafiq
Formal Description Techniques VIII
Gebonden Engels 1996 1996e druk 9780412732706Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedings of the eighth International Conference on Formal Description Techniques, arranged by the International Federation for Information Processing and held in Montreal, Canada, October 1995.
Specificaties
ISBN13:9780412732706
Taal:Engels
Bindwijze:gebonden
Aantal pagina's:456
Uitgever:Springer US
Druk:1996
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
Preface. Invited presentation. Design methodologies. Verification I. Algebraic languages. System specification and Z. Invited presentation. Industrial experiences. Applying formal methods. Tools and testing. Real-time and stochastic systems. Verification II. List of tools for demonstrations. Keyword index.
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