J. Strother Moore · 3 obras en el catálogoObrasAA formal model of asynchronous communication and its use in A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol1992PPitonPitonIIntroduction to Abstract AlgebraIntroduction to Abstract Algebra
AA formal model of asynchronous communication and its use in A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol1992