From post

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.

 

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

Symbolic Evaluation of LISP Functions with Side Effects for Verification., и . IJCAI, стр. 519-524. William Kaufmann, (1981)Formal Techniques for OO Software Development (Panel)., , , , , , и . OOPSLA, стр. 166-170. ACM, (1991)SIGPLAN Notices 26(11).Heuristic Search with Partial Node Expansion and Bi-Directional Search in Product Space., и . ECAI, стр. 180-182. (1982)Structured Analysis and Object Oriented Analysis (Panel)., , , , , и . OOPSLA/ECOOP, стр. 135-139. ACM, (1990)SIGPLAN Notices 25(10).Formal techniques for object oriented software development.. OOPSLA Addendum, стр. 49-54. ACM, (1991)OOPS Messenger 3(4) October 1992.The OO Software Development Process (Panel)., , , , , и . OOPSLA, стр. 484-489. ACM, (1992)SIGPLAN Notices 27(10).Challenge problem 1 without search.. SIGART Newsl., (1981)Extending the Statechart Formalism: Event Scheduling & Disposition., и . OOPSLA, стр. 1-16. ACM, (1995)OOPSLA'95, Addendum to the Proceedings: OOPS Messenger 6(4) October 1995.Object-Oriented Experiences., и . TRI-Ada Tutorials (1), стр. 380-496. ACM, (1992)Structured analysis and object oriented analysis (panel session)., , , , , и . OOPSLA/ECOOP Addendum, стр. 15-17. ACM, (1990)