Formal description techniques, V : Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol-FORTE 92, Perros-Guirec, France, 13-16 October 1992 / North-holland
Material type: TextPublication details: Amsterdam: North-holland, 1993Description: xvi, 508pISBN:- 0444892826
Item type | Current library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Proceedings | National Science Library | D 681.02(082.2) N3 (Browse shelf(Opens below)) | Available | 174125 |
There are no comments on this title.