Code: 06794814

Topology in Process Calculus

Name: Topology in Process Calculus
Brand: Springer-Verlag New York Inc.
SKU: 06794814
Price: 61.92 EUR
Availability: InStock

by Mingsheng Ying

Language: English
Binding: Paperback
Number of pages: 220
Publisher: Springer-Verlag New York Inc., 2012
More about this

61.92 €

Low in stock at our supplier
Shipping in 10 - 15 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Playing with Purpose
172.05 €
Buy
Ghts of Maryland
12.90 € -21 %
Buy
Africa's Experience with Structural Adjustment
33.75 €
Buy
International Criminal Tribunal for the Prosecution of Persons
13.51 €
Buy
Economies of Africa and Asia in the Inter-war Depression (Routledge Revivals)
213.33 €
Buy
Women in the Hindu Tradition
224.41 €
Buy
Post-Structural Genomics
66.19 €
Buy
Designing Democracy
91.31 €
Buy
Last Man
10.77 € -18 %
Buy
Voice of Her Own
22.67 € -13 %
Buy
Multimedia Design Interaktiv!
78.39 €
Buy
Escenario Punitivo En Uruguay
109 €
Buy
Dinamica Participativa En El Consejo Educativo Institucional (Conei)
55.21 €
Buy
Metadaten-Management für Data-Warehouse-Systeme
49.82 € -4 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 154 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer programming / software development Software Engineering

61.92 €

Full title: Topology in Process Calculus
Subtitle: Approximate Correctness and Infinite Evolution of Concurrent Programs
Author: Mingsheng Ying
Language: English
Binding: Paperback
Number of pages: 220
EAN: 9781461265221
ISBN: 1461265223
ID: 06794814
Publisher: Springer-Verlag New York Inc.
Weight: 361 g
Dimensions: 235 × 155 × 11 mm
Date of publishing: 28. October 2012