-
Anglický jazyk
Fundamentals of Algebraic Specification 1
Autor: Bernd Mahr
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,...
Viac o knihe
Na objednávku
98.99 €
bežná cena: 109.99 €
O knihe
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.
- Vydavateľstvo: Springer Berlin Heidelberg
- Rok vydania: 2011
- Formát: Paperback
- Rozmer: 244 x 170 mm
- Jazyk: Anglický jazyk
- ISBN: 9783642699641
Nemecký jazyk 
