Topology in Process Calculus

Name: Topology in Process Calculus
Brand: Springer-Verlag New York Inc.
SKU: 9781461265221
Price: 214.72 PLN
Availability: InStock

Approximate Correctness and Infinite Evolution of Concurrent Programs

Autor: Mingsheng Ying

Język:

Oprawa: Miękka

Wydawca: Springer-Verlag New York Inc.

Dostępność: Dostępna u dostawcy

Wysyłamy za 8-11 dni

214.72 zł

The purpose of this book is to establish a theory of approximate correctness and infinite evolution...

Informacje o książce

Autor

Mingsheng Ying

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2012

strony

220

EAN

9781461265221

ISBN

1461265223

Enbook ID

06794814

Wydawca

Springer-Verlag New York Inc.

Waga

361

Wymiary

155 x 235 x 11

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Topology in Process Calculus

Approximate Correctness and Infinite Evolution of Concurrent Programs

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również