| |
|
| Artikel-Nr.: 5667A-9783658117641 Herst.-Nr.: 9783658117641 EAN/GTIN: 9783658117641 |
| |
|
| | |
| Understanding a Calculus of Hierarchical Protection Domains Weitere Informationen: | | Author: | Susanne Göbel | Verlag: | Springer Fachmedien Wiesbaden GmbH | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, EDV / Theorie / Allgemeines, Informatik, modelchecking; reachabilityanalysis; ConcurrencyModeling; bisimulations; algorithmanalysisandproblemcomplexity; polynomialconstruction, Model Checking, Reachability Analysis, Concurrency Modeling, Bisimulations, polynomial construction, algorithm analysis and problem complexity |
| | |
| |