Abstract state machines, B and Z: first international conference, ABZ 2008, London, UK, September 16-18, 2008 proceedings

Detalles Bibliográficos
Autores principales: Boca, Paul, Bowen, Jonathan P, Butler, Michael, Börger, Egon
Lenguaje:eng
Publicado: Springer 2008
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2762504
Descripción
Descripción no disponible.

Ejemplares similares