Quantitative Assessments of Distributed Systems, Methodologies and Techniques, Wiley, John Wiley & Sons,Electronics engineering,Electronics and communications engineering, markov; verification; systems; distributed; decision processes; processes; markov decision wellformed; wellformed; conclusion appendices; syntax; basic predicates; references; analysis; tutorial; stoklaim; quantitative,, Performability Engineering Series, United States, en-UShttps://www.wiley.commarkov; verification; systems; distributed; decision processes; processes; markov decision wellformed; wellformed; conclusion appendices; syntax; basic predicates; references; analysis; tutorial; stoklaim; quantitative, [BLURB],[CITY],,books, ebooks, biblet, Book2look