[286] in DCNS Development

home	help	back	first	fref	pref	prev	next	nref	lref	last	post

Book search

daemon@ATHENA.MIT.EDU (pbh@Athena.MIT.EDU)
Sat Jan 16 15:44:10 1993

From: pbh@Athena.MIT.EDU
Date: Sat, 16 Jan 93 15:42:53 -0500
To: developers@Athena.MIT.EDU
Cc: 

Does anyone have a copy of "Design and Validation of Computer Protocols" by 
Holzmann? Or a recommended alternative?

home	help	back	first	fref	pref	prev	next	nref	lref	last	post