Finite Transition Systems

Name: Finite Transition Systems
Brand: Pearson Education
SKU: 9780130929907
Price: 163.65 EUR
Availability: InStock

Autor: Andre Arnold

Jazyk:

Väzba: Brožovaná

Vydavateľ: Pearson Education

Dostupnosť: 50 % šanca

Prehľadáme celý svet

163.65 €

Covers all aspects of finite transition systems, which enable the modelling of systems of concurrent...

Informácie o knihe

Autor

Andre Arnold

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

1994

Stránok

188

EAN

9780130929907

ISBN

0130929905

Enbook ID

04497740

Vydavateľ

Pearson Education

Hmotnosť

340

Rozmery

170 x 202 x 11

Kompletný popis

Covers all aspects of finite transition systems, which enable the modelling of systems of concurrent processes and also provide the basis for verification and notions of equivalence. This text deals with both the semantics of systems describable as transition systems and their logics.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Finite Transition Systems

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež