|  |
| |
| Artikel-Nr.:
858A-9783642093470 Herst.-Nr.:
9783642093470 EAN/GTIN:
9783642093470 |
| |
|
| | |
| Decision Procedures with Applications to Verification Weitere Informationen: | | Author: | Aaron R. Bradley; Zohar Manna | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Algorithms, algorithm, artificial intelligence, computer, data structure, formal method, learning, logic, verification, algorithm analysis and problem complexity, Algorithm analysis and problem complexity; Artificial Intelligence; Learning; algorithm; algorithms; computer; data structure; formal method; logic; verification |
| | |
| |