Skip recommendations

Jean-Raymond Abrial

Jean-Raymond Abrial (6 de noviembre de 1938) es un informático francés, inventor de los métodos formales Z y B. proporcionado por Wikipedia
Mostrando 1 - 2 Resultados de 2 Para Buscar 'Abrial, Jean-Raymond', tiempo de consulta: 0.01s Limitar resultados
Herramientas de búsqueda: Suscríbete a esta búsqueda
  1. 1
    Modeling in Event-B : system and software engineering /
    por Abrial, Jean-Raymond
    Publicado 2010
    Texto completo
    Electrónico eBook
  2. 2
    Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday /
    Publicado 2009
    Otros Autores: “…Abrial, Jean-Raymond…”
    Texto Completo
    Electrónico eBook