TY  - BOOK
AU  - Sannella,Donald
AU  - Tarlecki,Andrzej
TI  - Foundations of algebraic specification and formal software development
T2  - Monographs in theoretical computer science
SN  - 9783642173356
AV  - QA76.9.M35  .S26 2012
PY  - 2012///
CY  - New York
PB  - Springer
KW  - Computer science
KW  - Mathematics
KW  - Software engineering
KW  - Computer software
KW  - Development
KW  - Formal methods (Computer science)
ER  -