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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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 basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense of concepts, which are introduced on a conceptual level and formalized in mathematical terms. The book is equally suitableas a text book for graduate courses and as a reference for researchers and system developers.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 3,99 für den Versand von Frankreich nach Deutschland
Versandziele, Kosten & DauerAnbieter: Ammareal, Morangis, Frankreich
Hardcover. Zustand: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Edition 1985. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Edition 1985. Ammareal gives back up to 15% of this item's net price to charity organizations. Artikel-Nr. E-597-946
Anzahl: 1 verfügbar
Anbieter: Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, Deutschland
Zustand: gut. XI, 321 S., Abb., 25 cm, Einband leicht berieben. Sprache: Englisch. Artikel-Nr. B274-003
Anzahl: 1 verfügbar
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Zustand: 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. Artikel-Nr. 368200
Anzahl: 1 verfügbar
Anbieter: Labyrinth Books, Princeton, NJ, USA
Zustand: Very Good. Artikel-Nr. 262610
Anzahl: 1 verfügbar