Abstract State Machines, B and Z

• مؤلفون آخرون: Börger, Egon
• التنسيق: كتاب
• اللغة: English
• منشور في: Springer 2017
• الموضوعات: Computer Science; Machines; Software Engineering ; Programming Languages.; 004
• الوصول للمادة أونلاين: http://repository.vnu.edu.vn/handle/VNU_123/23860

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and...