Save 40% on select Business & Management books + FREE shipping or 50% on Physics eBooks!

Theoretical Computer Science and General Issues

Trustworthy Global Computing

Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

Editors: Barthe, Gilles, Fournet, Cédric (Eds.)

Free Preview

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-78663-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-78662-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (25 chapters)

Table of contents (25 chapters)
  • Elimination of Ghost Variables in Program Logics

    Pages 1-20

    Hofmann, Martin (et al.)

  • Web Service Composition: From Analysis to Autonomy

    Pages 21-21

    Magee, Jeff

  • Service Combinators for Farming Virtual Machines

    Pages 22-22

    Bhargavan, Karthikeyan (et al.)

  • Combining a Verification Condition Generator for a Bytecode Language with Static Analyses

    Pages 23-40

    Grégoire, Benjamin (et al.)

  • Extracting Control from Data: User Interfaces of MIDP Applications

    Pages 41-56

    Crégut, Pierre

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-78663-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-78662-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Trustworthy Global Computing
Book Subtitle
Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
Editors
  • Gilles Barthe
  • Cédric Fournet
Series Title
Theoretical Computer Science and General Issues
Series Volume
4912
Copyright
2008
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-78663-4
DOI
10.1007/978-3-540-78663-4
Softcover ISBN
978-3-540-78662-7
Edition Number
1
Number of Pages
XI, 401
Topics