Verification and Evaluation of Computer and Communication Systems: 11th Internat
67,86 €
Distributed computing models. - Formal languages and automata theory. - Probabilistic computation. - Formal software verification. - Model verification and validation. - Performance evaluation. - Modeling and simulation.
Jetzt bei Ebay: