×

Found 2 Documents (Results 1–2)

100
MathJax

Foundations of algebraic specification and formal software development. (English) Zbl 1237.68129

Monographs in Theoretical Computer Science. An EATCS Series. Berlin: Springer (ISBN 978-3-642-17335-6/hbk). xvi, 581 p. (2012).
MSC:  68Q65 68-02
PDF BibTeX XML Cite

Filter Results by …

Document Type

Year of Publication

Classification

all top 3

Software