Mingsheng (208 resultados)

Condición: New. An illuminating account of Wang Jianlin and Wanda - one of China's leading entrepreneurs whose presence is now felt all around the world. Series: China's Leading Entrepreneurs and Enterprises. Num Pages: 256 pages, approx. 10 black and white illustrations. BIC Classification: 1FPC; BGB; KJH. Category: (P) Professional & Vocational. Dimension: 216 x 138. . . 2017. Paperback. . . . . …

Condición: New. An illuminating account of Wang Jianlin and Wanda - one of China's leading entrepreneurs whose presence is now felt all around the world. Series: China's Leading Entrepreneurs and Enterprises. Num Pages: 256 pages, approx. 10 black and white illustrations. BIC Classification: 1FPC; BGB; KJH. Category: (P) Professional & Vocational. Dimension: 216 x 138. . . 2017. Paperback. . . . . Books ship from the US and Ireland. …

Condición: As New. Unread book in perfect condition.

Taschenbuch. Condición: Neu. Neuware - An illuminating biography of one of China's leading entrepreneurs and his business empire.

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: New.

Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Condición: New.

Condición: New.

Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: New.

Condición: New.

Condición: New. pp. 232.

Condición: New.

Paperback. Condición: Brand New. reprint edition. 240 pages. 9.25x6.10x0.53 inches. In Stock.

Condición: New.

Condición: New. 2021. Hardcover. . . . . .

Condición: New.

Condición: As New. Unread book in perfect condition.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Communication and concurrency are essential in understanding complex dynamic systems, and there have been many theories to deal with them such as Petri nets, CSP and ACP. Among them, CCS (process calculus is one of the most important and mathematically developed models of communication and concurrency. Various behavior equivalences between agents, such as (strong and weak) bisimilarity, observation congruence, trace equivalence, testing equivalence and failure equivalence, are central notions in process calculus. In the real applications of process calculus, specification and implementation are described as two agents, correctness of programs is treated as a certain behavior equivalence between specification and implementation, and then the proof of correctness of programs is a task to establish some behavior equivalence between them. The goal of this book is to provide some suitable and useful concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems. Throughout this book the focus is on the framework of process calculus, and the main idea is to construct some natural and reasonable topological structures which can reveal suitably a mechanism of approximate computation in process calculus and to work out various relationships among processes which are compatible with these topological structures.…

Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Communication and concurrency are essential in understanding complex dynamic systems, and there have been many theories to deal with them such as Petri nets, CSP and ACP. Among them, CCS (process calculus is one of the most important and mathematically developed models of communication and concurrency. Various behavior equivalences between agents, such as (strong and weak) bisimilarity, observation congruence, trace equivalence, testing equivalence and failure equivalence, are central notions in process calculus. In the real applications of process calculus, specification and implementation are described as two agents, correctness of programs is treated as a certain behavior equivalence between specification and implementation, and then the proof of correctness of programs is a task to establish some behavior equivalence between them. The goal of this book is to provide some suitable and useful concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems. Throughout this book the focus is on the framework of process calculus, and the main idea is to construct some natural and reasonable topological structures which can reveal suitably a mechanism of approximate computation in process calculus and to work out various relationships among processes which are compatible with these topological structures.…

Gebunden. Condición: New. The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. Professionals, researchers and graduate students in theoretical computer .

Condición: New.