| |
|
| Artikel-Nr.: 5667A-9783031331695 Herst.-Nr.: 9783031331695 EAN/GTIN: 9783031331695 |
| |
|
| | |
| The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. Weitere Informationen: | | Author: | Kristin Yvonne Rozier; Swarat Chaudhuri | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, bücher für datenbanken - englischsprachig, reliability, validation, verification, model checking, coverage metrics, equivalence checking, semi-formal verification, transaction-level verification, theorem proving and SAT solving, design rule checking, safety critical systems |
| | |
| |