Foundations of Algebraic Specification and Formal Software Development
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification. It concentrates on developing basic concepts and studying their fundamental properties.
Saved in:
Main Authors | , |
---|---|
Format | eBook Book |
Language | English |
Published |
Berlin, Heidelberg
Springer Nature
2012
Springer Springer Berlin / Heidelberg Springer Berlin Heidelberg |
Edition | 1 |
Series | Monographs in Theoretical Computer Science. An EATCS Series |
Subjects | |
Online Access | Get full text |
ISBN | 3642173365 9783642173363 9783642173356 3642173357 |
ISSN | 1431-2654 |
DOI | 10.1007/978-3-642-17336-3 |
Cover
Summary: | This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification. It concentrates on developing basic concepts and studying their fundamental properties. |
---|---|
Bibliography: | Includes bibliographical references (p. 533-552) and indexes |
ISBN: | 3642173365 9783642173363 9783642173356 3642173357 |
ISSN: | 1431-2654 |
DOI: | 10.1007/978-3-642-17336-3 |