An edition of Abstract State Machines Alloy B And Z (2010)

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

Description:

subjects: Logic design, Computational complexity, Computer science, Computer software, Machine theory, B method (Computer science), Congresses, Z (Computer program language)