| |
|
| Artikel-Nr.: 858A-9783540674016 Herst.-Nr.: 9783540674016 EAN/GTIN: 9783540674016 |
| |
|
| | |
| Temporal Logic and State Systems Weitere Informationen: | | Author: | Fred Kröger; Stephan Merz | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Automatentheorie, Branching-time temporal logic, CTL, CTL*, Concurr, Concurrent programming, Correct software development, Formal methods of system development, Linear-time temporal logic, LTL and its variants, Refinement, composition, and hiding, Specification, correctness properties, Temporal Logic of Actions, TLA, Temporal logic |
| | |
| |