Hartmut Ehrig

(Author)

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Softcover Reprint of the Original 1st 1985)Paperback - Softcover Reprint of the Original 1st 1985, 23 November 2011

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Softcover Reprint of the Original 1st 1985)
Qty
1
Turbo
Ships in 2 - 3 days
In Stock
Free Delivery
Cash on Delivery
15 Days
Free Returns
Secure Checkout
Buy More, Save More
Turbo Shipping
Part of Series
Monographs in Theoretical Computer Science. an Eatcs
Part of Series
Monographs in Theoretical Computer Science. an Eatcs Series
Print Length
321 pages
Language
English
Publisher
Springer
Date Published
23 Nov 2011
ISBN-10
3642699642
ISBN-13
9783642699641

Description

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.

Product Details

Authors:
Hartmut EhrigBernd Mahr
Book Edition:
Softcover Reprint of the Original 1st 1985
Book Format:
Paperback
Country of Origin:
NL
Date Published:
23 November 2011
Dimensions:
24.41 x 16.99 x 1.8 cm
ISBN-10:
3642699642
ISBN-13:
9783642699641
Language:
English
Location:
Berlin, Heidelberg
Pages:
321
Publisher:
Weight:
539.77 gm

Related Categories


Need Help?
+971 6 731 0280
support@gzb.ae

About UsContact UsPayment MethodsFAQsShipping PolicyRefund and ReturnTerms of UsePrivacy PolicyCookie Notice

VisaMastercardCash on Delivery

© 2024 White Lion General Trading LLC. All rights reserved.