Finite Transition Systems (PRENTICE-HALL INTERNATIONAL SERIES IN DYNAMICS) - Tapa dura

Arnold

 
9780130929907: Finite Transition Systems (PRENTICE-HALL INTERNATIONAL SERIES IN DYNAMICS)
Tapa dura
ISBN 10: 0130929905 ISBN 13: 9780130929907
Editorial: Financial Times Prentice Hall, 1994

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Financial Times Prentice Hall
Año de publicación
1994
Idioma
Inglés
ISBN 10 
0130929905
ISBN 13 
9780130929907
Encuadernación
Tapa dura
Número de páginas
188
Contacto del fabricante
no disponible
Persona responsable
no disponible