Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

· Monographs in Theoretical Computer Science. An EATCS Series పుస్తకం 6 · Springer Science & Business Media
ఈ-బుక్
321
పేజీలు
రేటింగ్‌లు, రివ్యూలు వెరిఫై చేయబడలేదు  మరింత తెలుసుకోండి

ఈ ఇ-పుస్తకం గురించి

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.

ఈ ఈ-బుక్‌కు రేటింగ్ ఇవ్వండి

మీ అభిప్రాయం మాకు తెలియజేయండి.

పఠన సమాచారం

స్మార్ట్‌ఫోన్‌లు, టాబ్లెట్‌లు
Android మరియు iPad/iPhone కోసం Google Play Books యాప్‌ ని ఇన్‌స్టాల్ చేయండి. ఇది మీ ఖాతాతో ఆటోమేటిక్‌గా సింక్ చేయబడుతుంది మరియు మీరు ఆన్‌లైన్‌లో ఉన్నా లేదా ఆఫ్‌లైన్‌లో ఉన్నా చదవడానికి మిమ్మల్ని అనుమతిస్తుంది.
ల్యాప్‌టాప్‌లు, కంప్యూటర్‌లు
మీ కంప్యూటర్ వెబ్ బ్రౌజర్ ఉపయోగించి Google Playలో కొనుగోలు చేసిన ఆడియోబుక్‌లను మీరు వినవచ్చు.
eReaders మరియు ఇతర పరికరాలు
Kobo eReaders వంటి e-ink పరికరాలలో చదవడానికి, మీరు ఫైల్‌ను డౌన్‌లోడ్ చేసి, దాన్ని మీ పరికరానికి బదిలీ చేయాలి. సపోర్ట్ చేయబడే ఈ-రీడర్‌లకు ఫైళ్లను బదిలీ చేయడానికి వివరణాత్మక సహాయ కేంద్రం సూచనలను ఫాలో చేయండి.

సిరీస్‌ను కొనసాగించండి

Hartmut Ehrig నుండి మరిన్ని

ఒకే రకమైన ఈ-బుక్‌లు