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 - 4 Resultados de 4 Para Buscar 'Abrial, Jean-Raymond', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    Modeling in Event-B : system and software engineering
    por Abrial, Jean-Raymond
    Publicado 2010
    Otros Autores: “…Abrial, Jean-Raymond…”
    Conectar con la versión electrónica
    Libro electrónico
  2. 2
    The b-book : assigning programs to meanings
    por Abrial, Jean-Raymond
    Publicado 1996
    Otros Autores: “…Abrial, Jean-Raymond…”
    <img src=" https://books.google.es/books/content?id=T_ShHENlqBAC&printsec=frontcover&img=1&zoom=5&edge=curl&imgtk=AFLRE73wfABcPd--DyBPSTS5lLmNi-a86rlpleXXwVu-99MQzR3Oj1vkvS935AQlk9FMGJKVfOOOLtx9QrueUzBfNI8z ODDQB-a3QWgGnC8HBw3Z-2EdrsV_3W1Q7D8KGSm9qaCBc3uq " style="border:1px solid #000;width:64px">
    Libro
  3. 3
    The B-book : assigning programs to meanings
    Publicado 1996
    Otros Autores: “…Abrial, Jean-Raymond, autor…”
    Conectar con la versión electrónica
    Libro electrónico
  4. 4
    Modeling in Event-B : system and software engineering
    Publicado 2010
    Otros Autores: “…Abrial, Jean-Raymond, autor…”
    Conectar con la versión electrónica
    Libro electrónico
Herramientas de búsqueda: RSS – Enviar por Correo electrónico esta Búsqueda