Topology in Process Calculus

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

Approximate Correctness and Infinite Evolution of Concurrent Programs

ISBN: 1461265223
ISBN 13: 9781461265221
Autor: Ying, Mingsheng
Verlag: Springer Verlag GmbH
Umfang: viii, 220 S.
Erscheinungsdatum: 28.10.2012
Auflage: 1/2012
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 4538870 Kategorie:

Beschreibung

A monograph presenting new concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems. Professionals, researchers and graduate students in theoretical computer science will find the discussion helpful for developing new concepts for concurrent and real-time systems.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …