Save today: Get 40% off Social Science print books or $30 off eBooks in Engineering & Energy!

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 n/a
  • ISBN 978-3-642-11811-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-3-642-11810-4
  • Free shipping for individuals worldwide

Table of contents (46 chapters)

Table of contents (46 chapters)

Buy this book

eBook n/a
  • ISBN 978-3-642-11811-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-3-642-11810-4
  • Free shipping for individuals worldwide
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