opac-header

Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1. Proceedings
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 by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Amsterdam: North-holland, 1993
Availability: Items available for loan: National Science Library (1)Call number: D 681.02(082.2) N3.

Place hold Add to cart
2. Proceedings
Protocol specification, testing, and verification, V / Proceedings of the IFIP WG 6.1...............................................10-13 June, 1985 by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Amsterdam: North-Holland, 1986
Availability: Items available for loan: National Science Library (1)Call number: D 681.324.004.11(082.2) M6.

Place hold Add to cart
Pages