Your search returned 2 results.

Results
	1.		Image from Amazon.com Image from Google Jackets Image from OpenLibrary	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 Diaz, Michel (Ed.) Material type: 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. Found in Open Library: Place hold Save to lists Add to cart (remove)
	2.		Image from Google Jackets Image from OpenLibrary	Protocol specification, testing, and verification, V / Proceedings of the IFIP WG 6.1...............................................10-13 June, 1985 by Diaz, Michel (Ed.) Material type: 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 Save to lists Add to cart (remove)

Refine your search