Książka Concurrency Theory Rodolfo Gomez

Concurrency Theory

Calculi an Automata for Modelling Untimed and Timed Concurrent Systems

Autor: Rodolfo Gomez
Język: Angielski
Oprawa: Twarda
Dostępność: Dostępna u dostawcy w małych ilościach
Wysyłamy za 13-18 dni
728.50
Offers an introduction to LOTOS highlighting how the approach differs from competitor techniques suc...

Informacje o książce

Język
Angielski
Oprawa
Książka - Twarda
Data wydania
2005
strony
422
EAN
9781852338954
ISBN
9781852338954
Enbook ID
08856660
Waga
847
Wymiary
155 x 235 x 25

Pełny opis

Offers an introduction to LOTOS highlighting how the approach differs from competitor techniques such as CCS and CSP. The authors also generalise the simple communicating automata notation to yield timed automata with multi-way synchronisation using model-checking verification methods and new techniques to prevent time-locks from arising.

Możesz być zainteresowany

Fantastic Fliers

Kingfisher Books
30.33
205.78
48.49
104.75

Psychic Witch

AURYN MAT
80.70

Colloquial Spanish 2

Untza Otaola Alday
242.99
106.91

Infinitives

Susanne Wurmbrand
453.10

Expanding Graphs

American Mathem American Mathem
371.22
64.59

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

Вороний камень

Юлиан Пресс
51.04
87.77

Geotechnik

Gerd Möller
300.04

Championnes

Laurent Cascarino
84.52
56.25
34.45

Die Kunst von Hergé

Philippe Goddin
126.45

Karl Gutzkow (1871)

Alfred Von Wurzbach
88.06

Tribunal Russell

Gall Collectifs
28.46

Jak pokonac objadanie sie

Christopher G. Fairburn
44.37