Finite Transition Systems

Name: Finite Transition Systems
Brand: Pearson Education
SKU: 9780130929907
Price: 3966 CZK
Availability: InStock

Autor: Andre Arnold

Jazyk:

Vazba: Brožovaná

Vydavatel: Pearson Education

Dostupnost: 50 % šance

Prohledáme celý svět

3 966 Kč

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

Informace o knize

Autor

Andre Arnold

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

1994

Stránek

188

EAN

9780130929907

ISBN

0130929905

Enbook ID

04497740

Vydavatel

Pearson Education

Hmotnost

340

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Finite Transition Systems

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také