Finite Transition Systems

Finite Transition Systems

By (author) 

List price: US$45.00

Currently unavailable

We can notify you when this item is back in stock

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks


A textbook for an advanced undergraduate course in computer science and of possible interest to researchers and professional software designers. Synthesizes the recent work on finite transition systems, a formalism that is mathematically simple but can model most of the properties of communications systems and also plays a role in studying their semantics. Translated from the 1992 French edition. Annotation copyright Book News, Inc. Portland, more

Product details

  • Paperback | 188 pages
  • 180 x 240 x 10mm | 528g
  • Pearson Education (US)
  • Prentice Hall
  • Upper Saddle River, United States
  • English
  • 0130929905
  • 9780130929907

Table of contents

Transition systems; the synchronous product of transition systems; transition system logics; verification of properties of transition systems; fixpoints in transition systems; software more