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 Bernd Mahr, Hartmut Ehrig, Martin Grobe-Rhode, F. Cornelius |
2 edition from Springer-Verlag New York Inc (April 17, 2001)
9783540419235 | details & prices | 642 pages | List price $49.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.