Tell your friends about this item:
Trustworthy Global Computing: 6th International Symposium, Tgc 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Roberto Bruni
Price
Íkr 6,919
excl. VAT
Ordered from remote warehouse
Expected delivery Jul 17 - 27
Our customers say:
Add to your iMusic wish list
Trustworthy Global Computing: 6th International Symposium, Tgc 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Roberto Bruni
Constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. This title features papers that are organized in topical sections on modeling formalisms for concurrent systems; model checking and quantitative extensions thereof; and more.
256 pages, 54 black & white illustrations, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | May 22, 2012 |
| ISBN13 | 9783642300646 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 256 |
| Dimensions | 156 × 234 × 13 mm · 385 g |
| Language | French |
| Editor | Bruni, Roberto |
| Editor | Sassone, Vladimiro |
More by Roberto Bruni
Show all![Cover for Roberto Bruni · Models of Computation - Texts in Theoretical Computer Science. An EATCS Series (Paperback Book) [Softcover reprint of the original 1st ed. 2017 edition] (2018)](https://imusic.b-cdn.net/images/item/original/899/9783319826899.jpg?roberto-bruni-2018-models-of-computation-texts-in-theoretical-computer-science-an-eatcs-series-paperback-book&class=scaled&v=1604878022)
![Cover for Roberto Bruni · Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings - Programming and Software Engineering (Paperback Book) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/638/9783642013638.jpg?roberto-bruni-2009-web-services-and-formal-methods-5th-international-workshop-ws-fm-2008-milan-italy-september-4-5-2008-proceedings-programming-and-software-engineering-paperback-book&class=scaled&v=1604036810)
Mere med samme udgiver
![Cover for Dieter Frey · Mitarbeiterfuhrung in der Wissenschaft: 100 Fragen - 100 Antworten fur die Praxis (Paperback Book) [1. Aufl. 2025 edition] (2028)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Handbuch Unternehmensorganisation: Strategien, Planung, Umsetzung (Book) [4. Auflage 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/290/9783642420290.jpg?2027-handbuch-unternehmensorganisation-strategien-planung-umsetzung-book&class=scaled&v=1779860172)
![Cover for Junrui Liang · Piezoelectric Energy Harvesting Systems: Integrated Analysis and Implementation - Green Energy and Technology (Hardcover Book) [1st ed. 2017 edition] (2027)](https://imusic.b-cdn.net/images/item/original/025/9783662536025.jpg?junrui-liang-2027-piezoelectric-energy-harvesting-systems-integrated-analysis-and-implementation-green-energy-and-technology-hardcover-book&class=scaled&v=1514457757)
![Cover for Uwe Gotze · Kostenrechnung und Kostenmanagement (Paperback Book) [6., aktualisierte Auflage 2025 edition] (2027)](https://imusic.b-cdn.net/images/item/original/388/9783642332388.jpg?uwe-gotze-2027-kostenrechnung-und-kostenmanagement-paperback-book&class=scaled&v=1488023188)
![Cover for Ines Hartel · Einfuhrung in das Klimaschutzrecht: Klimaschutz durch wohlgeordnetes Recht? (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic.b-cdn.net/images/item/original/461/9783540887461.jpg?ines-hartel-2027-einfuhrung-in-das-klimaschutzrecht-klimaschutz-durch-wohlgeordnetes-recht-paperback-book&class=scaled&v=1569154171)
![Cover for Multiple Sklerose: Klinik – Therapie – Patientenfuhrung (Hardcover Book) [1. Aufl. 2022 edition] (2027)](https://imusic.b-cdn.net/images/item/original/558/9783642229558.jpg?2027-multiple-sklerose-klinik-therapie-patientenfuhrung-hardcover-book&class=scaled&v=1510654586)
![Cover for Jean Paul · Jean Pauls Samtliche Werke. Historisch-kritische Ausgabe: Zweite Abteilung. Band 10.3: Satiren und Ironien. Kommentar (Hardcover Book) [1. Aufl. 2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/229/9783740012229.jpg?jean-paul-2026-jean-pauls-samtliche-werke-historisch-kritische-ausgabe-zweite-abteilung-band-10-3-satiren-und-ironien-kommentar-hardcover-book&class=scaled&v=1606304271)
![Cover for Georg Glaeser · A Mathematical Picture Book (Hardcover Book) [1st ed. 2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/473/9783642146473.jpg?georg-glaeser-2026-a-mathematical-picture-book-hardcover-book&class=scaled&v=1592396260)
![Cover for Kyrill-Alexander Schwarz · Praxishandbuch Landesstaatsorganisationsrecht (Hardcover Book) [1. Aufl. 2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/355/9783642253355.jpg?kyrill-alexander-schwarz-2026-praxishandbuch-landesstaatsorganisationsrecht-hardcover-book&class=scaled&v=1408485129)
![Cover for Karlheinz Schuffler · Musical Scales and their Mathematics - Mathematics Study Resources (Paperback Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/401/9783662695401.jpg?karlheinz-schuffler-2026-musical-scales-and-their-mathematics-mathematics-study-resources-paperback-book&class=scaled&v=1735177753)
![Cover for Albrecht Beutelspacher · Modern Cryptography: From RSA to Zero-Knowledge and Beyond - Mathematics Study Resources (Paperback Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/420/9783662674420.jpg?albrecht-beutelspacher-2026-modern-cryptography-from-rsa-to-zero-knowledge-and-beyond-mathematics-study-resources-paperback-book&class=scaled&v=1688517177)
See all of Roberto Bruni ( e.g. Paperback Book , Hardcover Book and Book )