Tomeki
Cover of Abstract State Machines Alloy B And Z

Abstract State Machines Alloy B And Z Second International Conference Abz 2010 Orford Qc Canada February 2225 2010 Proceedings

By Uwe Glasser

0 (0 Ratings)
0 Want to read0 Currently reading0 Have read

Publish Date

2010

Publisher

Springer

Language

-

Pages

-

1-1 of 1 Editions

Cover of Abstract State Machines Alloy B And Z Second International Conference Abz 2010 Orford Qc Canada February 2225 2010 ProceedingsView Abstract State Machines Alloy B And Z Second International Conference Abz 2010 Orford Qc Canada February 2225 2010 Proceedings