Foundations of algebraic specification and formal software development
| Main Authors: | , |
|---|---|
| Format: | Book |
| 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 |