Abstract State Machines, Alloy, B and Z Theoretical Computer Science and General Issues

Abstract State Machines, Alloy, B and Z Theoretical Computer Science and General Issues Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings - Lecture Notes in Computer Science

2010 edition

Paperback (02 Mar 2010)

  • $65.39
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

Constitutes the proceedings of the Second International Conference on Abstract State Machines, B and Z, which took place in Orford, QC, Canada, in February 2010. This book presents the 26 full papers that were reviewed and selected from 60 submissions. It also contains two invited talks and abstracts of 18 short papers.

Book information

ISBN: 9783642118104
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
Edition: 2010 edition
Language: English
Number of pages: 416
Weight: 658g
Height: 235mm
Width: 155mm
Spine width: 23mm