Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems 1

Data & IT

Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems

Name: Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
Price: 1919 SEK
Availability: OutOfStock
Author: Prakash Panangaden
ISBN: 9780821835715

Prakash Panangaden

Inbunden

1919:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.

215 sidor
2004

Two sets of lectures first presented at a 2002 workshop on "Mathematical Techniques for Analyzing Systems" are presented, exploring different aspects of the mathematical concept of concurrency and its applications in theoretical computer science. The first set of lectures examine the coalgebraic approach to concurrency, presenting a "calculus of st

Författare: Prakash Panangaden
Format: Inbunden
ISBN: 9780821835715
Språk: Engelska
Antal sidor: 215
Utgivningsdatum: 2004-04-01
Förlag: American Mathematical Society