Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs - Mingsheng Ying - Bøker - Springer-Verlag New York Inc. - 9780387950921 - 30. mars 2001
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Mingsheng Ying
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs 2001 edition

Pris
NOK 509

Bestillingsvarer

Forventes levert 3. - 11. nov
Julegaver kan byttes frem til 31. januar
Få varsel om nye utgivelser fra Mingsheng Ying

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

Finnes også som:

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 Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 30. mars 2001
ISBN13 9780387950921
Utgivere Springer-Verlag New York Inc.
Antall sider 220
Mål 155 × 235 × 14 mm   ·   444 g
Språk Engelsk  

Mer fra samme **utgiver**

Se alt med Mingsheng Ying