TY - BOOK AU - YEMINI, YECHIAM TI - PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION, IV SN - 0444876766 U1 - 004.62 CY - AMSTERDAM KW - PROTOCOLOS DE REDES DE COMPUTADORES ER -