search for books and compare prices
Price
Store
Arrives
Preparing
Shipping
Jump quickly to results on these stores:
The price is the lowest for any condition, which may be new or used; other conditions may also be available.
Jump down to see edition details for: Paperback
Bibliographic Detail
Publisher
Springer-Verlag New York Inc
Publication date
December 14, 1998
Pages
553
Binding
Paperback
Book category
Adult Non-Fiction
ISBN-13
9783540638650
ISBN-10
3540638652
Dimensions
0 by 6.10 by 9.25 in.
Availability§
Out of Print
Original list price
$69.95
Subjects
§As reported by publisher
Summaries and Reviews
Amazon.com description: Product Description: 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 vermittelt zunächst notwendige mathematische Grundlagen. Motiviert durch das Konzept von Datenstrukturen und abstrakten Datentypen, werden dann algebraische Strukturen in der Informatik behandelt. Danach werden Aussagen- und Prädikatenlogik aus der Sicht der Mathematik und Informatik dargestellt. SchlieÃlich führt die Kategorientheorie für Informatiker in die Welt der abstrakten Behandlung mathematischer Strukturen ein.
Editions
Paperback
The price comparison is for this edition
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.
Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.