Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

· Monographs in Theoretical Computer Science. An EATCS Series Część 6 · Springer Science & Business Media
E-book
321
Strony
Oceny i opinie nie są weryfikowane. Więcej informacji

Informacje o e-booku

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.

Oceń tego e-booka

Podziel się z nami swoją opinią.

Informacje o czytaniu

Smartfony i tablety
Zainstaluj aplikację Książki Google Play na AndroidaiPada/iPhone'a. Synchronizuje się ona automatycznie z kontem i pozwala na czytanie w dowolnym miejscu, w trybie online i offline.
Laptopy i komputery
Audiobooków kupionych w Google Play możesz słuchać w przeglądarce internetowej na komputerze.
Czytniki e-booków i inne urządzenia
Aby czytać na e-papierze, na czytnikach takich jak Kobo, musisz pobrać plik i przesłać go na swoje urządzenie. Aby przesłać pliki na obsługiwany czytnik, postępuj zgodnie ze szczegółowymi instrukcjami z Centrum pomocy.

Kontynuuj serię

Więcej tytułów autora: Hartmut Ehrig

Podobne e-booki