Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs - Mingsheng Ying - Books - Springer-Verlag New York Inc. - 9780387950921 - March 30, 2001
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 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     Hardcover Book   (Book with hard spine and cover)
Released March 30, 2001
ISBN13 9780387950921
Publishers Springer-Verlag New York Inc.
Pages 220
Dimensions 155 × 235 × 14 mm   ·   444 g
Language English  

Mere med samme udgiver

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