- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Topology in Process Calculus
Approximate Correctness and Infinite Evolution of Concurrent Programs
Mingsheng Ying
Hardcover | Engels
€ 116,95
+ 233 punten
Uitvoering
Omschrijving
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.
Specificaties
Betrokkenen
- Auteur(s):
- Uitgeverij:
Inhoud
- Aantal bladzijden:
- 220
- Taal:
- Engels
Eigenschappen
- Productcode (EAN):
- 9780387950921
- Verschijningsdatum:
- 30/03/2001
- Uitvoering:
- Hardcover
- Formaat:
- Genaaid
- Afmetingen:
- 162 mm x 242 mm
- Gewicht:
- 444 g
Alleen bij Standaard Boekhandel
+ 233 punten op je klantenkaart van Standaard Boekhandel
E-BOOK ACTIE
Beoordelingen
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.