Finite Transition Systems

Name: Finite Transition Systems
Brand: Pearson Education
SKU: 9780130929907
Price: 857.92 RON
Availability: InStock

Autor: Andre Arnold

Limbă:

Legare: Carte broșată

Editura: Pearson Education

Disponibilitate: șansă 50%

Şanse de a obține acest titlu

857.92 lei

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

Informații despre carte

Autor

Andre Arnold

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1994

Pagini

188

EAN

9780130929907

ISBN

0130929905

Enbook ID

04497740

Editura

Pearson Education

Greutate

340

Dimensiuni

170 x 202 x 11

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Finite Transition Systems

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și