LIBROS DEL AUTOR: reinhard bundgen

1 resultados para LIBROS DEL AUTOR: reinhard bundgen

reinhard bundgen Eliminar filtro Quitar filtros
  • Termersetzungssysteme
    Reinhard Bündgen
    Termersetzungssysteme sind ein mächtiges Werkzeug mit Einsatzmöglichkeiten in vielen Bereichen der Informatik wie z. B. automatisches Beweisen, algebraische Spezifikationen, funktionales Programmieren, Computeralgebra und Verifikation von Soft- und Hardware. Im Mittelpunkt des Buches, das sich vor allem an Informatiker und Mathematiker richtet, steht ...
    Disponible

    54,20 €