Fundamentals of Algebraic Specification 1

Equations and Initial Semantics

Hartmut Ehrig, Bernd Mahr

PDF
ca. 111,41
Amazon iTunes Thalia.de Weltbild.de Hugendubel Bücher.de ebook.de kobo Osiander Google Books Barnes&Noble bol.com Legimi yourbook.shop Kulturkaufhaus ebooks-center.de
* Affiliatelinks/Werbelinks
Hinweis: Affiliatelinks/Werbelinks
Links auf reinlesen.de sind sogenannte Affiliate-Links. Wenn du auf so einen Affiliate-Link klickst und über diesen Link einkaufst, bekommt reinlesen.de von dem betreffenden Online-Shop oder Anbieter eine Provision. Für dich verändert sich der Preis nicht.

Springer Berlin Heidelberg img Link Publisher

Naturwissenschaften, Medizin, Informatik, Technik / Anwendungs-Software

Beschreibung

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.

Weitere Titel in dieser Kategorie
Cover The Official Raspberry Pi Handbook 2025
The Makers of The MagPi magazine
Cover The Official Raspberry Pi Handbook 2023
The Makers of The MagPi magazine
Cover Learn R : As a Language
Pedro J. (University of Helsinki, Faculty of Biological and Environmental Sciences) Aphalo
Cover Learn R : As a Language
Pedro J. (University of Helsinki, Faculty of Biological and Environmental Sciences) Aphalo
Cover Python Unleashed
James Livingston
Cover Coderspeak
Guilherme Orlandini Heurich

Kundenbewertungen