The aim of this book is to present fundamentals of algebraicspecifications with respect to the following three aspects: fundamentals in the sense of a carefully motivatedintroduction to algebraic specifications, which is easy tounderstand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which arethe basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense ofconcepts, which are introduced on a conceptual level andformalized in mathematical terms. The book is equally suitableas a text book for graduatecourses and as a reference for researchers and systemdevelopers.
"synopsis" may belong to another edition of this title.
£ 8.69 shipping from Germany to U.S.A.
Destination, rates & speedsSeller: Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, Germany
Condition: gut. XI, 321 S., Abb., 25 cm, Einband leicht berieben. Sprache: Englisch. Seller Inventory # B274-003
Quantity: 1 available
Seller: Labyrinth Books, Princeton, NJ, U.S.A.
Condition: Very Good. Seller Inventory # 262610
Quantity: 1 available
Seller: NEPO UG, Rüsselsheim am Main, Germany
Condition: Gut. 321 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 0,0 x 0,0 x 0,0 cm, Gebundene Ausgabe. Seller Inventory # 368200
Quantity: 1 available