( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Toward a Formally Based Programming Environment.

, , и . ECICS, стр. 363-374. North-Holland, (1982)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Foued Jrad

Robert Jr Cramer

Thomas W Mächtel

Thomas W Scheiber

Thomas W Becker

 

Другие публикации лиц с тем же именем

IDEOSY: An Ideographic and Interactive Program Description System., , и . Software Development Environments (SDE), стр. 15-20. ACM, (1984)SIGPLAN Notices 19 (5), May 1984.Toward a Formally Based Programming Environment., , и . ECICS, стр. 363-374. North-Holland, (1982)On Abstractions of Parallel Programs. STOC, стр. 65-72. ACM, (1976)Distributed File Systems and Distributed Memory.. ACM Comput. Surv., 28 (1): 229-231 (1996)Distributed File Systems.. Computing Handbook, 3rd ed. (1), CRC Press, (2014)Distributed File Systems and Distributed Memory.. The Computer Science and Engineering Handbook, CRC Press, (1997)ThreadMon: A Tool for Monitoring Multithreaded Program Performance., и . HICSS (1), стр. 253-265. IEEE Computer Society, (1997)Parallel Program Correctness Through Refinement.. POPL, стр. 155-169. ACM, (1977)Using router stamping to identify the source of IP packets., , и . ACM Conference on Computer and Communications Security, стр. 184-189. ACM, (2000)A Formal Description of the UNIX Operating System., и . PODC, стр. 241-253. ACM, (1983)