Finite transition systems : semantics of communicating systems /

Bibliographic Details
Main Author: Arnold, André, 1945-
Format: Book
Language:English
Published: Hemel-Hempstead : Prentice-Hall, 1994.
Series:Prentice-Hall international series in computer science
Subjects:
Description
Item Description:La biblioteca posee 2 ej.
Physical Description:vii, 177 p. : il. ; 25 cm.
ISBN:0130929905