Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs - Mingsheng Ying - Books - Springer-Verlag New York Inc. - 9781461265221 - October 28, 2012
In case cover and title do not match, the title is correct

Mingsheng Ying
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs Softcover reprint of the original 1st ed. 2001 edition

Price
Íkr 6,889
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 26 - Jul 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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.

220 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 28, 2012
ISBN13 9781461265221
Publishers Springer-Verlag New York Inc.
Pages 220
Dimensions 155 × 235 × 12 mm   ·   331 g
Language English  

Mere med samme udgiver

See all of Mingsheng Ying ( e.g. Hardcover Book and Paperback Book )