search for books and compare prices
Mathematisch-strukturelle Grundlagen Der Informatik
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Paperback
With Felix Cornelius, Bernd Mahr, Hartmut Ehrig, Martin Grosse-Rhode |
from Springer-Verlag New York Inc (December 14, 1998)
9783540638650 | details & prices | 553 pages | List price $69.95
About: 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.
About: 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.