Trustworthy Global Computing Image close
Trustworthy Global Computing
Trustworthy Global Computing
Show Hide Adult Content
Trustworthy Global Computing close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Algorithms & procedures

Trustworthy Global Computing

6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$189.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $47.25 with Afterpay Learn more

6 weekly interest-free payments of $31.50 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Theoretical Computer Science and General Issues

See all products in this series

Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops
$303.00
Frontiers of High Performance Computing and Networking - ISPA 2007...
Paperback / softback
Available - Usually ships in 3-4 weeks
Graph Drawing
$156.00
Graph Drawing
Paperback / softback
Available - Usually ships in 3-4 weeks
Hybrid Learning and Education
$158.00
Hybrid Learning and Education
Paperback / softback
Available - Usually ships in 3-4 weeks
Cellular Automata and Discrete Complex Systems
$151.00
Cellular Automata and Discrete Complex Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Hybrid Learning
$155.00
Hybrid Learning
Paperback / softback
Available - Usually ships in 3-4 weeks
Learning and Intelligent Optimization
$162.00
Learning and Intelligent Optimization
Paperback / softback
Available - Usually ships in 3-4 weeks
Models of Strategic Reasoning
$154.00
Models of Strategic Reasoning
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods Teaching
$153.00
Formal Methods Teaching
Paperback / softback
Available - Usually ships in 3-4 weeks
Unconventional Computation
$153.00
Unconventional Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
CONCUR 2008 - Concurrency Theory
$160.00
CONCUR 2008 - Concurrency Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
Verification, Model Checking, and Abstract Interpretation
$156.00
Verification, Model Checking, and Abstract Interpretation
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Neural Networks – ISNN 2020
$153.00
Advances in Neural Networks – ISNN 2020
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications – ICCSA 2021
$295.00
Computational Science and Its Applications – ICCSA 2021
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Aided Verification
$158.00
Computer Aided Verification
Paperback / softback
Available - Usually ships in 3-4 weeks
Theorem Proving in Higher Order Logics
$156.00
Theorem Proving in Higher Order Logics
Paperback / softback
Available - Usually ships in 3-4 weeks
New Computational Paradigms
$302.00
New Computational Paradigms
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
May 22nd, 2012
Audience
  • Professional & Vocational
Contributors
  • Edited by Roberto Bruni
  • Edited by Vladimiro Sassone
Illustrations
54 Illustrations, black and white; X, 243 p. 54 illus.
Pages
243
Dimensions
156x234x13
ISBN-13
9783642300646
Product ID
19873558

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming >
Algorithms & procedures
Books >
Business & Economics >
Business & Management >
Business Maths & Systems
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Social & Legal Aspects >
Human-computer interaction
Books >
Non-Fiction >
Reference >
Research & information: general >
Information theory
Books >
Non-Fiction >
Reference >
Research & information: general >
Coding theory & cryptology
Books >
Computers & Internet >
Computer hardware >
Network hardware
Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer security >
Data encryption
Books >
Computers & Internet >
Computer science >
Human-computer interaction >
Information architecture