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:
Bibliographic Details
Main Authors Sannella, Donald, Tarlecki, Andrzej
Format eBook Book
LanguageEnglish
Published Berlin, Heidelberg Springer Nature 2012
Springer
Springer Berlin / Heidelberg
Springer Berlin Heidelberg
Edition1
SeriesMonographs in Theoretical Computer Science. An EATCS Series
Subjects
Online AccessGet full text
ISBN3642173365
9783642173363
9783642173356
3642173357
ISSN1431-2654
DOI10.1007/978-3-642-17336-3

Cover

More Information
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