Description
Lean Programming for Formal Software Verification by James Milner is available now for quick shipment to any U.S. location!Thisbook is in good condition or better.
TitleLean Programming for Formal Software Verification
Author(s)James Milner
Publish Year2025






Reviews
There are no reviews yet.