Models and Analysis for Distributed Systems, , Wiley, John Wiley & Sons,Computer science,Computing and Information Technology, Distributed computing distributed system, distributed program, distributed programming,   distributed systems and public software applications, distributed systems and critical systems,   software applications as well as critical systems. formal methods for the analysis of distributed systems, mixing the design and distributed systems, modeling and distributed systems, verification and implementation stages and distributed systems,, , United States, en-UShttps://www.wiley.comDistributed computing distributed system, distributed program, distributed programming,   distributed systems and public software applications, distributed systems and critical systems,   software applications as well as critical systems. formal methods for the analysis of distributed systems, mixing the design and distributed systems, modeling and distributed systems, verification and implementation stages and distributed systems, [BLURB],[CITY],,books, ebooks, biblet, Book2look