LIBROS DEL AUTOR: carel s scholten

1 resultados para LIBROS DEL AUTOR: carel s scholten

carel s scholten Eliminar filtro Quitar filtros
  • Predicate Calculus and Program Semantics
    Carel S. Scholten / Edsger W. Dijkstra
    This booklet presents a reasonably self-contained theory of predicate trans­ former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications. They met their original goal, but a...
    Disponible

    121,87 €