Algebraic specification of communication protocols /

Bibliographic Details
Other Authors: Mauw, S. (ed.), Veltink, G. J. (ed.)
Format: Book
Language:English
Published: Cambridge : Cambridge University, 1993.
Series:Cambridge tracts in theoretical computer science ; 36
Subjects:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20160908122751.0
008 110511s1993 enk||||| |||| 00| 0 eng d
020 |a 0521418836 
040 |a AR_CdUFM  |c AR_CdUFM 
245 0 0 |a Algebraic specification of communication protocols /   |c edited by S. Mauw, G. J. Veltink. 
260 |a Cambridge :   |b Cambridge University,   |c 1993. 
300 |a xi, 197 p. :  |b il. ;  |c 26 cm. 
490 0 |a Cambridge tracts in theoretical computer science ;   |v 36 
650 4 |a Programas-Especificación.  
650 4 |a Programs-Specification.  
700 1 |9 11141  |a Mauw, S.,   |e ed. 
700 1 |9 17764  |a Veltink, G. J.,   |e ed. 
942 |c LIBRO  |2   
945 |a MCR  |d 2011-05-11 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F31_A394  |7 0  |9 7277  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e FOMEC/Comp.  |l 0  |o C F3.1 A394   |p 14001  |r 2023-01-24 00:00:00  |w 2008-06-09  |y LIBRO 
999 |c 5498  |d 5498