Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings (Lecture ... Computer Science and General Issues)
by
ISBN 13: 9783642118104
Format: Paperback (416 pages) Publisher: Springer Published: 02 Mar 2010
Save for later