|  |
| |
| Artikel-Nr.:
5667A-9783030206512 Herst.-Nr.:
9783030206512 EAN/GTIN:
9783030206512 |
| |
|
| | |
| 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings Weitere Informationen: | | Author: | Julia M. Badger; Kristin Yvonne Rozier | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, bücher für datenbanken - englischsprachig, formal methods, model checking and theorem proving, automated static analysis, logic and verification, modal and temporal logics, verification via model checking, model checking, theorem proving and SAT solving, automated reasoning, software verification and validation, formal languages and automata theory |
| | |
| |