[PDF.46sv] Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

[PDF.um83] Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Foundations of Algebraic Specification  Donald Sannella, Andrzej Tarlecki epub
Foundations of Algebraic Specification  Donald Sannella, Andrzej Tarlecki pdf download
Foundations of Algebraic Specification  Donald Sannella, Andrzej Tarlecki pdf file
Foundations of Algebraic Specification  Donald Sannella, Andrzej Tarlecki audiobook
Foundations of Algebraic Specification  Donald Sannella, Andrzej Tarlecki book review
Foundations of Algebraic Specification  Donald Sannella, Andrzej Tarlecki summary

 | #4213856 in Books |  2012-01-03 | Original language:English | PDF # 1 |  9.21 x1.31 x6.14l,2.10 | File type: PDF | 584 pages

---

||2 of 2 people found the following review helpful.| Important compendium in the field of axiomatic specifications|By Till Mossakowski|The book gives a detailed and comprehensive overview of both algebraic specification and formal program development. This is remarkable, because many related works from the area of formal methods treat either only the specification side (which remains a bit fruitless since no relation to real comp|From the Back Cover||This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These fo

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using elements of universal algebra, category theory and logic, and this mathematical toolbox provides a convenient language for precisely formulating the concepts involved in soft...

You can specify the type of files you want, for your gadget.Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)   |  Donald Sannella, Andrzej Tarlecki. A good, fresh read, highly recommended.

Download Now