TY  - BOOK
AU  - Sannella, Donald; Tarlecki, Andrzej
AU  - Sannella,Donald; Tarlecki,Andrzej
TI  - Foundations of algebraic specification and formal software development
SN  - 9783642173356
PY  - 2012///
CY  - Heidelberg; Dordrecht; London; New York
PB  - Springer
KW  - Softwareentwicklung
ER  -