Name: Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
Price: 1864.00 TWD
Availability: InStock
Author: Ying, Mingsheng
ISBN: 9781461265221

Select your country

Americas

Europe

Rest of the world

portada Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs

Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs

Type

Physical Book

Author

Mingsheng Ying

Publisher

Springer

Language

English

Pages

220

Format

Paperback

Dimensions

23.4 x 15.6 x 1.2 cm

Weight

0.33 kg.

ISBN13

9781461265221

Synopsis "Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs"

A monograph presenting new concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems. Professionals, researchers and graduate students in theoretical computer science will find the discussion helpful for developing new concepts for concurrent and real-time systems.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs - Ying, Mingsheng

Synopsis "Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery