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:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20170707162533.0
008 111124s1994 enk||||| |||| 00| 0 eng d
020 |a 0130929905 
040 |a AR_CdUFM  |c AR_CdUFM 
100 1 |9 628  |a Arnold, André,  |d 1945- 
245 1 0 |a Finite transition systems :   |b semantics of communicating systems /  |c André Arnold ; translated by John Plaice. 
260 |a Hemel-Hempstead :   |b Prentice-Hall,   |c 1994. 
300 |a vii, 177 p. :  |b il. ;  |c 25 cm. 
490 0 |a Prentice-Hall international series in computer science 
500 |a La biblioteca posee 2 ej. 
650 4 |a Modelos de computación. 
650 4 |a Models of computation. 
942 |c LIBRO  |2   
945 |a MCR  |d 2011-11-24 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F11_A752  |7 0  |9 10549  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e FOMEC/Comp.  |l 2  |o C F1.1 A752   |p 15075  |r 2023-01-24  |s 2009-02-27  |w 2008-06-09  |y LIBRO 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F11_A752_EJ2  |7 0  |9 10550  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e FOMEC/Comp.  |l 0  |o C F1.1 A752 ej.2  |p 15076  |r 2023-01-24  |w 2008-06-09  |y LIBRO 
999 |c 8259  |d 8259