Foundations of Algebraic Specification and Formal Software Development

Foundations of Algebraic Specification and Formal Software Development by Donald Sannella, Andrzej Tarlecki.

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, using el...

Full description

Saved in:
Bibliographic Details
Main Authors: Sannella, Donald (Author), Tarlecki, Andrzej (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edition:1st ed. 2012.
Series:Monographs in Theoretical Computer Science. An EATCS Series,
Springer eBook Collection.
Subjects:
Computer logic.
Software engineering.
Mathematical logic.
Category theory (Mathematics).
Homological algebra.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Login for hold information

‌

Click to view e-book

Online

Holdings details from Online
Call Number: E-Book
Status: Available

Similar Items