Nem vált be? Semmi gond! Nálunk 30 napon belül visszaküldheti
Ajándékutalvánnyal nem nyúlhat mellé. A megajándékozott az ajándékutalványért bármit választhat kínálatunkból.
30 nap a termék visszaküldésére
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.