by
Bradley, Aaron R. author.
Format:
Electronic Resources
Excerpt:
exercises develop the reader's facility in specifying and verifying software using logic. The treatment of
by
Kornai, András. author.
Format:
Electronic Resources
Excerpt:
, optical character recognition, HCI). Exercises suitable for advanced readers are included as well as
View Other Search Results
by
McIver, Annabelle. author.
Format:
Electronic Resources
Excerpt:
modern programming and systems development. Researchers, computer scientists, and advanced undergraduates
Limit Search Results
Narrowed by: