Foundations of Algebraic Specification and Formal Software Development
By: by Donald Sannella, Andrzej Tarlecki
Contributors: Tarlecki, Andrzej; SpringerLink (Online service)
Series: Monographs in Theoretical Computer Science. An EATCS Series
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] /
ISBN-13: 9783642173363
Subjects: Software Engineering/Programming and Operating Systems; Symbolic and mathematical Logic; Software engineering; Algebra; Logic design; Logics and Meanings of Programs; Computer science; Homological Algebra Category Theory; Mathematical Logic and Foundations