Essential logic for computer science
Subject: Applications of logic in computer science Contents: predicate logic, proofs, equation-based software and digital circuits, automated testing and theorem provers, large-scale computation Intent: undergrad CS majors will learn how to apply predicate logic to testing and verification of softwa...
| Príomhchruthaitheoirí: | , |
|---|---|
| Formáid: | LEABHAR |
| Teanga: | English |
| Foilsithe / Cruthaithe: |
Cambridge, Massachusetts
The MIT Press
[2018]
|
| Ábhair: |