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

Formal specification and software development

โœ Scribed by Bjorner D.; Jones C.B.

Publisher
Prentice Hall
Year
1982
Tongue
English
Leaves
482
Series
Prentice Hall International Series in Computer Science
Category
Library
โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

๐Ÿ“œ 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