Foundations of algebraic specification and formal software development
Main Author: | |
---|---|
Other Authors: | |
Language: | English |
Published: |
New York:
Springer,
c2012.
|
Series: | Monographs in theoretical computer science
|
Subjects: |
Tembila General Collection
Call Number: |
QA76 9 M35 S26 2012 |
---|
Accession | Item Category | Format | Status | Notes |
---|
1000152699 | Open Shelf (30 days) | Book | Available |