More than 1,900 Springer Protocols eBooks at just $9.99 each! Get yours today>>

Theoretical Computer Science and General Issues

Mathematics of Program Construction

10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings

Editors: Bolduc, Claude, Desharnais, Jules, Ktari, Bechir (Eds.)

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-642-13321-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-642-13320-6
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.

Table of contents (22 chapters)

  • The Algorithmics of Solitaire-Like Games

    Backhouse, Roland (et al.)

    Pages 1-18

  • Compositionality of Secure Information Flow

    Palamidessi, Catuscia

    Pages 19-19

  • Process Algebras for Collective Dynamics

    Hillston, Jane

    Pages 20-21

  • On Automated Program Construction and Verification

    Berghammer, Rudolf (et al.)

    Pages 22-41

  • The Logic of Large Enough

    Boiten, Eerke (et al.)

    Pages 42-57

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-642-13321-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-642-13320-6
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Mathematics of Program Construction
Book Subtitle
10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings
Editors
  • Claude Bolduc
  • Jules Desharnais
  • Bechir Ktari
Series Title
Theoretical Computer Science and General Issues
Series Volume
6120
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-13321-3
DOI
10.1007/978-3-642-13321-3
Softcover ISBN
978-3-642-13320-6
Edition Number
1
Number of Pages
X, 427
Number of Illustrations and Tables
57 b/w illustrations
Topics