Happy Holidays! Over 120,000 eBooks at just 19.99 each— Pick a favorite today

Theoretical Computer Science and General Issues

Global Computing

IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers

Editors: Priami, Corrado, Quaglia, Paola (Eds.)

Buy this book

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

Table of contents (18 chapters)

  • Symbolic Equivalences for Open Systems

    Baldan, Paolo (et al.)

    Pages 1-17

  • Specifying and Verifying UML Activity Diagrams Via Graph Transformation

    Baldan, Paolo (et al.)

    Pages 18-33

  • Mobile UML Statecharts with Localities

    Latella, Diego (et al.)

    Pages 34-58

  • Communities: Concept-Based Querying for Mobile Services

    Skouteli, Chara (et al.)

    Pages 59-76

  • Towards a Formal Treatment of Secrecy Against Computational Adversaries

    Troina, Angelo (et al.)

    Pages 77-92

Buy this book

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

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Global Computing
Book Subtitle
IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers
Editors
  • Corrado Priami
  • Paola Quaglia
Series Title
Theoretical Computer Science and General Issues
Series Volume
3267
Copyright
2005
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-31794-4
DOI
10.1007/b103251
Softcover ISBN
978-3-540-24101-0
Edition Number
1
Number of Pages
VIII, 376
Topics