LIBROS DEL AUTOR: bernd krieg brueckner

1 resultados para LIBROS DEL AUTOR: bernd krieg brueckner

bernd krieg brueckner Eliminar filtro Quitar filtros
  • ANNA A Language for Annotating Ada Programs
    Bernd Krieg-Brueckner / David C. Luckham / Friedrich W. von Henke
    This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs. It is designed to meet a perceived need to augment ADA with precise machine-processable annotations so that well established formal methods of specifica...
    Disponible

    66,92 €