Foundations of Software Science and Computation Structures
Foundations of Software Science and Computation Structures by Andrew Pitts.
Published by Springer Berlin / Heidelberg, (2015), Paperback, 465 pages.
Topics: Computer software, development, System analysis.