Materias dentro de su búsqueda.
Mostrando 1 - 6 Resultados de 6 Para Buscar '"MÉTODO B (COMPUTADORAS)"', tiempo de consulta: 0.03s Limitar resultados
1
Abstract state machines, Alloy, B and Z : second international conference, ABZ 2010, Orford, QC, Canada, february 22-25, 2010 : proceedings /
Publicado 2010
Materias: “...MÉTODO B (COMPUTADORAS)...”
Ver documento en línea
Procedimiento de la Conferencia Libro
2
Abstract state machines, B and Z : First International Conference, ABZ 2008, London, UK, september 16-18, 2008, proceedings /
Publicado 2008
Materias: “...MÉTODO B (COMPUTADORAS)...”
Ver documento en línea
Procedimiento de la Conferencia Libro
3
Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, proceedings /
Publicado 2016
Materias: “...MÉTODO B (COMPUTADORAS)...”
Ver documento en línea
Procedimiento de la Conferencia Libro
4
Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, june 5-8, 2018, proceedings /
Publicado 2018
Materias: “...MÉTODO B (COMPUTADORAS)...”
Ver documento en línea
Procedimiento de la Conferencia Artículo
5
Abstract state machines, alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, june 2-6, 2014, proceedings /
Publicado 2014
Materias: “...MÉTODO B (COMPUTADORAS)...”
Ver documento en línea
Procedimiento de la Conferencia Libro
6
Abstract state machines, alloy, B, VDM, and Z : third international conference, ABZ 2012, Pisa, Italy, june 18-21, 2012, proceedings /
Publicado 2012
Materias: “...MÉTODO B (COMPUTADORAS)...”
Ver documento en línea
Procedimiento de la Conferencia Libro
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda