Hits: 162
E-Book details
| Title | Tools and Algorithms for the Construction and Analysis of Systems |
| Author/Editor | Biere |
| Publication Year | 2020 |
| e-ISBN | 9783030451905 |
| Access online |
E-Book Summary
Contact us
| libper@iitk.ac.in |
| Title | Tools and Algorithms for the Construction and Analysis of Systems |
| Author/Editor | Biere |
| Publication Year | 2020 |
| e-ISBN | 9783030451905 |
| Access online |
| libper@iitk.ac.in |