( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Ultra-loose algebraic specifications.

, и . Bulletin of the EATCS, (1988)

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.

Martin Wirsing

Martin Wirsing

Ute Wirsing

Josef Wirsing

Adolf Wirsing

 

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

Ultra-loose algebraic specifications., и . Bulletin of the EATCS, (1988)On the Parameterized Algebraic Specification of Concurrent Systems., , , и . TAPSOFT, Vol.1, том 185 из Lecture Notes in Computer Science, стр. 342-358. Springer, (1985)A Modular Framework for Specification and Implementation., и . TAPSOFT, Vol.1, том 351 из Lecture Notes in Computer Science, стр. 42-73. Springer, (1989)Correct Software: From Experiments to Applications., и . KORSO Book, том 1009 из Lecture Notes in Computer Science, Springer, (1995)On the Algebraic Extensions of Abstract Data Types., и . ICFPC, том 107 из Lecture Notes in Computer Science, стр. 244-251. Springer, (1981)Timed Rewriting Logic with an Application to Object-Based Specification., и . Sci. Comput. Program., 28 (2-3): 225-246 (1997)Developing Physiological Computing Systems: Challenges and Solutions., и . Software Engineering, том P-198 из LNI, стр. 21-36. GI, (2012)On Relations Between Programs., , и . Symposium on Programming, том 83 из Lecture Notes in Computer Science, стр. 59-78. Springer, (1980)Korrekte Software: Vom Experiment zur Anwendung., и . GI Jahrestagung, стр. 29-43. Springer, (1993)Algebraic State Machines, и . (2000)