Our Cyber Weeks Sale has begun: Stock up on $7 Computer Science eBooks today!

Theoretical Computer Science and General Issues

Abstract State Machines, Alloy, B and Z

Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings

Editors: Frappier, M., Glässer, U., Khurshid, S., Laleau, R., Reeves, S. (Eds.)

  • State of the art research
  • Up to date conference proceedings
  • Cutting edge results
see more benefits

Buy this book

eBook $99.00
price for USA in USD (gross)
  • ISBN 978-3-642-11811-1
  • 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 in USD
  • ISBN 978-3-642-11810-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (46 chapters)

  • A Structure for Dependability Arguments

    Jackson, Daniel (et al.)

    Pages 1-1

  • Formal Probabilistic Analysis: A Higher-Order Logic Based Approach

    Hasan, Osman (et al.)

    Pages 2-19

  • Synchronous Message Passing and Semaphores: An Equivalence Proof

    Craig, Iain (et al.)

    Pages 20-33

  • AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps

    Hassine, Jameleddine

    Pages 34-46

  • Bârun: A Scripting Language for CoreASM

    Altenhofen, Michael (et al.)

    Pages 47-60

Buy this book

eBook $99.00
price for USA in USD (gross)
  • ISBN 978-3-642-11811-1
  • 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 in USD
  • ISBN 978-3-642-11810-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Abstract State Machines, Alloy, B and Z
Book Subtitle
Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
Editors
  • Marc Frappier
  • Uwe Glässer
  • Sarfraz Khurshid
  • Régine Laleau
  • Steve Reeves
Series Title
Theoretical Computer Science and General Issues
Series Volume
5977
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-11811-1
DOI
10.1007/978-3-642-11811-1
Softcover ISBN
978-3-642-11810-4
Edition Number
1
Number of Pages
XIV, 416
Number of Illustrations
95 b/w illustrations
Topics