
Computer Aided Verification
Tayssir Touili, Byron Cook, Paul Jackson
₹5,452

An Experiment in Program Design
Free delivery. Nothing extra to pay at checkout.
Computer Programs for Spelling Correction is a carefully curated title by J. L. Peterson , published by Springer .
Description supplied by the publisher.