Roberto Bruni,
Vladimiro Sassone
Trustworthy Global Computing
6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers
Paperback Engels 2012 2012e druk 9783642300646
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. The 14 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections on modeling formalisms for concurrent systems; model checking and quantitative extensions thereof; semantics and analysis of modern programming languages; probabilistic models for concurrency; and testing and run-time verification.
Specificaties
ISBN13:9783642300646
Taal:Engels
Bindwijze:paperback
Aantal pagina's:243
Uitgever:Springer Berlin Heidelberg
Druk:2012
Hoofdrubriek:Automatisering algemeen, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
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