Abstract state machines,B and Z : first international conference, ABZ 2008, London, UK, september 16-18, 2008. Proceedings.
Formato: | Artículo |
---|---|
Lenguaje: | English |
Acceso en línea: | Ver documento en línea |
ISBN: | 9783540876038 |
---|
Formato: | Artículo |
---|---|
Lenguaje: | English |
Acceso en línea: | Ver documento en línea |
ISBN: | 9783540876038 |
---|