Abstract State Machines, B and Z

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...

Full description

Saved in:
Bibliographic Details
Other Authors: Börger, Egon
Format: Book
Language:English
Published: Springer 2017
Subjects:
004
Online Access:http://repository.vnu.edu.vn/handle/VNU_123/23860
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Vietnam National University, Hanoi
Language: English