D. Hogrefe,
S. Leue
Formal Description Techniques VII
Gebonden Engels 1995 1995e druk 9780412644504Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.
Specificaties
ISBN13:9780412644504
Taal:Engels
Bindwijze:gebonden
Aantal pagina's:522
Uitgever:Springer US
Druk:1995
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
Preface. Invited talk. New techniques. Applications. FDTs go commercial. Verification. Verification and real-time. Semantics. Testing and performace. Refinement. Index of contributors. 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