Roberto Bruni,
Vladimiro Sassone
Springer Berlin Heidelberg
2012e druk, 2012
9783642300646
Trustworthy Global Computing
6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers
Specificaties
Paperback, 243 blz.
|
Engels
Springer Berlin Heidelberg |
2012e druk, 2012
ISBN13: 9783642300646
Rubricering
Onderdeel van serie
Lecture Notes in Computer Science
Levertijd ongeveer 8 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