دانلود کتاب Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

Name: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
Availability: InStock
Author: Hartmut Ehrig
ISBN: 9783642699627, 9783642699641, 354013642

by Hartmut Ehrig, Bernd Mahr

عنوان فارسی: اصول مشخصات 1 جبری: معادلات و معناشناسی اولیه
ناشر: Springer
سال: 1985
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 332-332
شابک: 9783642699627, 9783642699641, 354013642
نوع فایل: DJVU دانلود نرم افزار مطالعه
حجم: 2.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

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.