John Hatcliff · 3 obras en el catálogoObrasFFormal Techniques for Distributed SystemsFormal Techniques for Distributed SystemsTTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of SystemsPPartial Evaluation : Practice and TheoryPartial Evaluation : Practice and Theory
TTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of Systems