Loading...

Protocol specification, testing and verification

Bibliographic Details
Main Author: Diaz, Michel (ed.by)
Format: Printed Book
Language:English
Published: Amsterdam North-Holland Publishing Company 1986
Subjects:
LEADER 00658nam a2200169 a 4500
005 20151026130440.0
008 960221s1955 dcuabcdjdbkoqu001 0deng d
003 ViArRB
100 |a Diaz, Michel  |e ed.by 
245 |a Protocol specification, testing and verification 
260 |a Amsterdam  |b North-Holland Publishing Company  |c 1986 
300 |a xi, 544 p. 
500 |a   
653 |a Computer science  |a Protocol specification, testing and verification  |a protocol specification  |a protocol testing  |a protocol verification 
942 |c BK  |6 _ 
999 |c 5607  |d 5607 
952 |0 0  |1 0  |2 udc  |4 0  |6 004722_DIA  |7 0  |9 17000  |a UL  |b UL  |d 2010-06-16  |o 004.722 DIA  |p 00032981  |r 2010-06-16  |w 2010-06-16  |y BK