"Specification, Algebra, and Software"
Shusaku Iida
"Specification, Algebra, and Software"
9783642546242
Computer Science
Computer Science Logic and Foundations of Programming
"Specification, Algebra, and Software"
9783642546242
Computer Science
Computer Science Logic and Foundations of Programming