๐”– Scriptorium
โœฆ   LIBER   โœฆ
๐Ÿ“

Foundations of Algebraic Specification and Formal Software Development

โœ Scribed by Donald Sannella, Andrzej Tarlecki (auth.)

Publisher
Springer
Year
2012
Tongue
English
Leaves
584
Edition
1
Category
Library
โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

โœฆ Subjects

Category Theory, Homological Algebra

๐Ÿ“œ SIMILAR VOLUMES

Foundations of Algebraic Specification a
๐Ÿ“ Foundations of Algebraic Specification and Formal Software Development
โœ Donald Sannella, Andrzej Tarlecki ๐Ÿ“‚ Library ๐Ÿ“… 2012 ๐Ÿ› Springer ๐ŸŒ English

<p><p>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, us

Specification and Transformation of Prog
๐Ÿ“ Specification and Transformation of Programs: A Formal Approach to Software Development
โœ Helmut A. Partsch ๐Ÿ“‚ Library ๐Ÿ“… 1990 ๐Ÿ› Springer ๐ŸŒ English

<p>"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. The

Specification and Transformation of Prog
๐Ÿ“ Specification and Transformation of Programs: A Formal Approach to Software Development
โœ Helmut A. Partsch ๐Ÿ“‚ Library ๐Ÿ“… 1990 ๐Ÿ› Springer ๐ŸŒ English

<p>"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. The