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,677
Discovery Miles 26 770
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,677 Discovery Miles 26 770 | Repayment Terms: R251 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 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
Promotions
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..

A Generalized Framework of Linear…
Liansheng Tan Paperback R2,325 R2,203 Discovery Miles 22 030
Matroid Theory
James Oxley Hardcover R6,063 Discovery Miles 60 630
Differential Equations with Linear…
Matthew R. Boelkins, Jack L. Goldberg, … Hardcover R2,869 Discovery Miles 28 690
Video Workbook with the Math Coach for…
Jamie Blair, John Tobey, … Paperback R1,469 Discovery Miles 14 690
Additive Number Theory of Polynomials…
Gove W. Effinger, David R. Hayes Hardcover R1,326 Discovery Miles 13 260
Math Without Numbers
Milo Beckman Paperback R415 R383 Discovery Miles 3 830
Graph Theory As I Have Known It
W. T. Tutte Hardcover R4,645 Discovery Miles 46 450
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R108 Discovery Miles 1 080
Introduction to Linear Algebra
Gilbert Strang Hardcover R2,222 Discovery Miles 22 220
Math of Life and Death
Yates Paperback R424 R394 Discovery Miles 3 940
The Ten Equations That Rule the World…
David Sumpter Paperback R473 R441 Discovery Miles 4 410
Sets, Groups, and Mappings - An…
Andrew D. Hwang Hardcover R2,283 Discovery Miles 22 830

See more

Partners