0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Algebra

Buy Now

Fundamentals of Algebraic Specification 1 - Equations and Initial Semantics (Paperback, Softcover reprint of the original 1st ed. 1985) Loot Price: R2,815
Discovery Miles 28 150
Fundamentals of Algebraic Specification 1 - Equations and Initial Semantics (Paperback, Softcover reprint of the original 1st...

Fundamentals of Algebraic Specification 1 - Equations and Initial Semantics (Paperback, Softcover reprint of the original 1st ed. 1985)

Hartmut Ehrig, Bernd Mahr

Series: Monographs in Theoretical Computer Science. An EATCS Series, 6

 (sign in to rate)
Loot Price R2,815 Discovery Miles 28 150 | Repayment Terms: R264 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Monographs in Theoretical Computer Science. An EATCS Series, 6
Release date: November 2011
First published: 1985
Authors: Hartmut Ehrig • Bernd Mahr
Dimensions: 244 x 170 x 18mm (L x W x T)
Format: Paperback
Pages: 321
Edition: Softcover reprint of the original 1st ed. 1985
ISBN-13: 978-3-642-69964-1
Categories: Books > Computing & IT > General theory of computing > General
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Applications of computing > General
Books > Science & Mathematics > Mathematics > Algebra > General
Books > Computing & IT > Computer programming > Programming languages > General
LSN: 3-642-69964-2
Barcode: 9783642699641

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Differential Equations with Linear…
Matthew R. Boelkins, Jack L. Goldberg, … Hardcover R2,832 Discovery Miles 28 320
Math Without Numbers
Milo Beckman Paperback R450 R373 Discovery Miles 3 730
Introduction to Analysis - Pearson New…
William Wade Paperback R2,247 Discovery Miles 22 470
The Ten Equations That Rule the World…
David Sumpter Paperback R514 R430 Discovery Miles 4 300
Introduction to Linear Algebra
Gilbert Strang Hardcover R2,200 Discovery Miles 22 000
Edexcel Award in Algebra Level 3…
Paperback R349 Discovery Miles 3 490
Elementary Algebra (Solutions Manual)
Harold R. Jacobs Paperback R530 R436 Discovery Miles 4 360
Linear Algebra and Its Applications…
David Lay, Steven Lay, … Paperback R2,373 R2,200 Discovery Miles 22 000
Elementary Algebra
Harold Jacobs Hardcover R1,500 R1,182 Discovery Miles 11 820
Elementary Algebra (Teacher Guide)
Harold R. Jacobs Paperback R530 R436 Discovery Miles 4 360
The Rules of Contagion - Why Things…
Adam Kucharski Paperback R489 R415 Discovery Miles 4 150
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R90 R78 Discovery Miles 780

See more

Partners