Read While You Wait - Get immediate ebook access, if available*, when you order a print book

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.)

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

Buy this book

eBook 74,89 €
price for Spain (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 93,59 €
price for Spain (gross)
  • ISBN 978-3-642-11810-4
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules

Table of contents (46 chapters)

Table of contents (46 chapters)

Buy this book

eBook 74,89 €
price for Spain (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 93,59 €
price for Spain (gross)
  • ISBN 978-3-642-11810-4
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.