Name: The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics - Robert L. Baber
Brand: John Wiley & Sons Ltd
Availability: InStock

The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics - Robert L. Baber - John Wiley & Sons Ltd | SuperScan