LIBROS DEL AUTOR: leslie lamport

1 resultados para LIBROS DEL AUTOR: leslie lamport

leslie lamport Eliminar filtro Quitar filtros
  • Specifying Systems
    LESLIE LAMPORT
    This book is the distillation of over 25 years of work by one of the world’s most renowned computer scientists. Leslie Lamport, the creator of the LaTeX typesetting system, shows how to write unambiguous specifications of complex computer systems. The first part provides a concise and lucid introduction to specification, explaining how to describe, with mathematical precision, ...
    Disponible

    59,63 €