Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
2012-ж. дек. · Monographs in Theoretical Computer Science. An EATCS Series 6-китеп · Springer Science & Business Media
Электрондук китеп
321
Барактар
reportРейтинг жана сын-пикирлер текшерилген жок Кеңири маалымат
Учкай маалымат
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 Китептер колдонмосун орнотуңуз. Ал автоматтык түрдө аккаунтуңуз менен шайкештелип, кайда болбоңуз, онлайнда же оффлайнда окуу мүмкүнчүлүгүн берет.
Ноутбуктар жана компьютерлер
Google Play'ден сатылып алынган аудиокитептерди компьютериңиздин веб браузеринен уга аласыз.
eReaders жана башка түзмөктөр
Kobo eReaders сыяктуу электрондук сыя түзмөктөрүнөн окуу үчүн, файлды жүктөп алып, аны түзмөгүңүзгө өткөрүшүңүз керек. Файлдарды колдоого алынган eReaders'ке өткөрүү үчүн Жардам борборунун нускамаларын аткарыңыз.
