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.
"synopsis" may belong to another edition of this title.
Search results for Finite Transition Systems (PRENTICE-HALL INTERNATIONAL...
Seller Image
Finite Transition Systems
Seller: Bluesparrowhawk Books, Chestfield, KENT, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: 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. Seller Inventory # PB-12922
Stock Image
Finite Transition Systems: Semantics of Communicating Systems (PRENTICE-HALL INTERNATIONAL SERIES IN DYNAMICS)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
hardcover. Condition: Very Good. Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA82901309299053
Buy Used
£ 132
£ 25 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available