Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Finite Transition Systems: Semantics of Communicating...
Image fournie par le vendeur
Finite Transition Systems
Edité par
Prentice Hall, 1994
ISBN 10 : 0130929905
ISBN 13 : 9780130929907
Ancien ou d'occasion
Couverture rigide
Vendeur : Bluesparrowhawk Books, Chestfield, KENT, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. No Jacket. EX-UNIVERSITY LIBRARY hardback, no dustjacket, published by Prentice Hall, 1994. 177pp. Library marks to spine & inside, pages otherwise clean. Good. book. N° de réf. du vendeur PB-12922
Acheter D'occasion
EUR 71,55
Expédition à EUR 8,10
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Finite Transition Systems: Semantics of Communicating Systems (PRENTICE-HALL INTERNATIONAL SERIES IN DYNAMICS)
Edité par
Prentice Hall 0, 1851
ISBN 10 : 0130929905
ISBN 13 : 9780130929907
Ancien ou d'occasion
Couverture rigide
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
hardcover. Etat : Very Good. Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book. N° de réf. du vendeur ERICA82901309299053
Acheter D'occasion
EUR 157,42
Expédition à EUR 28,95
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)