Foundations of Algebraic Specification and Formal Software Development

Format:: e-book
Title:: Foundations of Algebraic Specification and Formal Software Development
Author:: Sannella, Donald; Tarlecki, Andrzej
Language:: English
Publisher:: Springer Berlin Heidelberg 2012
ISBN:: 3-642-17335-7
3-642-17336-5
Permalink:: http://bibtest.howest.be/catalog/ebk03:3390000000021955?locale=en