Cover Image
Saved in:

Foundations of algebraic specification and formal software development

Bibliographic Details
Main Author: Sannella, D. 1956-
Corporate Author: SpringerLink (Online service)
Other Authors: Tarlecki, Andrzej.
Format: Online Book
Published: Berlin ; New York : Springer, c2012.
Series:Monographs in theoretical computer science.
Online Access:Online version
Tags: Add Tag
No Tags, Be the first to tag this record!