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

0 avg rating
( 0 ratings by Goodreads )
 
9781461265221: Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
View all copies of this ISBN edition:
 
 

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 science and formal methods will find this presentation helpful in understanding new concepts for concurrent and real-time systems, especially methods for describing approximation of systems.

"synopsis" may belong to another edition of this title.

Buy New View Book
List Price: US$ 99.99
US$ 82.94

Convert Currency

Shipping: US$ 5.12
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  0387950923 ISBN 13:  9780387950921
Publisher: Springer, 2001
Hardcover

Top Search Results from the AbeBooks Marketplace

1.

Ying, Mingsheng
Published by Springer (2016)
ISBN 10: 1461265223 ISBN 13: 9781461265221
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9781461265221_lsuk

More information about this seller | Contact this seller

Buy New
US$ 82.94
Convert Currency

Add to Basket

Shipping: US$ 5.12
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Mingsheng Ying
Published by Springer-Verlag New York Inc., United States (2012)
ISBN 10: 1461265223 ISBN 13: 9781461265221
New Paperback Quantity Available: 10
Seller:
Book Depository hard to find
(London, United Kingdom)
Rating
[?]

Book Description Springer-Verlag New York Inc., United States, 2012. Paperback. Condition: New. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. 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 science and formal methods will find this presentation helpful in understanding new concepts for concurrent and real-time systems, especially methods for describing approximation of systems. Softcover reprint of the original 1st ed. 2001. Seller Inventory # LIE9781461265221

More information about this seller | Contact this seller

Buy New
US$ 89.59
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

Mingsheng Ying
Published by Springer-Verlag New York Inc., United States (2012)
ISBN 10: 1461265223 ISBN 13: 9781461265221
New Paperback Quantity Available: 10
Print on Demand
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description Springer-Verlag New York Inc., United States, 2012. Paperback. Condition: New. Language: English . Brand New Book ***** Print on Demand *****. 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 science and formal methods will find this presentation helpful in understanding new concepts for concurrent and real-time systems, especially methods for describing approximation of systems. Softcover reprint of the original 1st ed. 2001. Seller Inventory # AAV9781461265221

More information about this seller | Contact this seller

Buy New
US$ 90.92
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Mingsheng Ying
Published by Springer-Verlag New York Inc. (2012)
ISBN 10: 1461265223 ISBN 13: 9781461265221
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer-Verlag New York Inc., 2012. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9781461265221

More information about this seller | Contact this seller

Buy New
US$ 89.37
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

5.

Mingsheng Ying
Published by Springer-Verlag New York Inc., United States (2012)
ISBN 10: 1461265223 ISBN 13: 9781461265221
New Paperback Quantity Available: 10
Print on Demand
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description Springer-Verlag New York Inc., United States, 2012. Paperback. Condition: New. Language: English . Brand New Book ***** Print on Demand *****.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 science and formal methods will find this presentation helpful in understanding new concepts for concurrent and real-time systems, especially methods for describing approximation of systems. Softcover reprint of the original 1st ed. 2001. Seller Inventory # AAV9781461265221

More information about this seller | Contact this seller

Buy New
US$ 93.47
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

Mingsheng Ying
Published by Springer-Verlag New York Inc. (2012)
ISBN 10: 1461265223 ISBN 13: 9781461265221
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer-Verlag New York Inc., 2012. PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # LQ-9781461265221

More information about this seller | Contact this seller

Buy New
US$ 87.25
Convert Currency

Add to Basket

Shipping: US$ 11.93
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

MINGSHENG YING
Published by Springer (2012)
ISBN 10: 1461265223 ISBN 13: 9781461265221
New Paperback Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2012. Paperback. Condition: NEW. 9781461265221 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0299790

More information about this seller | Contact this seller

Buy New
US$ 88.76
Convert Currency

Add to Basket

Shipping: US$ 10.61
From United Kingdom to U.S.A.
Destination, Rates & Speeds

8.

Mingsheng Ying
ISBN 10: 1461265223 ISBN 13: 9781461265221
New Quantity Available: 5
Seller:
ReadWhiz
(Portland, OR, U.S.A.)
Rating
[?]

Book Description Condition: New. Seller Inventory # ria9781461265221_ing

More information about this seller | Contact this seller

Buy New
US$ 110.29
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

9.

Mingsheng Ying
Published by Springer (2001)
ISBN 10: 1461265223 ISBN 13: 9781461265221
New Softcover Quantity Available: 15
Print on Demand
Seller:
Rating
[?]

Book Description Springer, 2001. Condition: New. This item is printed on demand for shipment within 3 working days. Seller Inventory # LP9781461265221

More information about this seller | Contact this seller

Buy New
US$ 107.78
Convert Currency

Add to Basket

Shipping: US$ 3.48
From Germany to U.S.A.
Destination, Rates & Speeds

10.

Mingsheng Ying
Published by Springer
ISBN 10: 1461265223 ISBN 13: 9781461265221
New Paperback Quantity Available: > 20
Seller:
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Rating
[?]

Book Description Springer. Paperback. Condition: New. 220 pages. Dimensions: 9.2in. x 6.1in. x 0.5in.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 science and formal methods will find this presentation helpful in understanding new concepts for concurrent and real-time systems, especially methods for describing approximation of systems. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Seller Inventory # 9781461265221

More information about this seller | Contact this seller

Buy New
US$ 120.34
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book