LIBROS DEL AUTOR: bernd mahr

2 resultados para LIBROS DEL AUTOR: bernd mahr

  • Fundamentals of Algebraic Specification 1
    Bernd Mahr / Hartmut Ehrig
    The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the b...
    Disponible

    133,68 €

  • Mathematisch-strukturelle Grundlagen der Informatik
    Bernd Mahr / F. Cornelius / Hartmut Ehrig
    In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich sind. Eine Einführung in die intuitive Mengentheorie v...
    Disponible

    52,32 €