Theoretical Computer Science and General Issues
© 2010
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
Buy this book
- Table of contents (46 chapters)
-
-
A Structure for Dependability Arguments
Pages 1-1
-
Formal Probabilistic Analysis: A Higher-Order Logic Based Approach
Pages 2-19
-
Synchronous Message Passing and Semaphores: An Equivalence Proof
Pages 20-33
-
AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps
Pages 34-46
-
Bârun: A Scripting Language for CoreASM
Pages 47-60
-
Table of contents (46 chapters)
Recommended for you
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 and instructor copies are not included.
