Finite Transition Systems: Semantics of Communicating Systems (PRENTICE-HALL INTERNATIONAL SERIES IN DYNAMICS)

Arnold, Andre

ISBN 10: 0130929905 / ISBN 13: 9780130929907

Published by Prentice Hall 0, 1851

About this Item

Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS.

Seller Inventory # ERICA82901309299053

Bibliographic Details

• Title: Finite Transition Systems: Semantics of Communicating Systems (PRENTICE-HALL INTERNATIONAL SERIES IN DYNAMICS)
• Publisher: Prentice Hall 0
• Publication Date: 1851
• Language: English
• ISBN 10: 0130929905
• ISBN 13: 9780130929907
• Binding: hardcover
• Condition: Very Good
• Dust Jacket Condition: Dust Jacket Included
• Book Type: book

About this title

Synopsis

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, Or.

Language Notes

Text: English (translation)
Original Language: French