( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Readable, Runnable Requirements Specifications in SPILL-2.

, и . PLILP, том 844 из Lecture Notes in Computer Science, стр. 449-450. Springer, (1994)

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.

Miroslawa Peikert

Miroslawa Josowicz

Miroslawa Malach

Miroslawa Galecka

Jadwiga Miroslawa Wolanska

 

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

Readable, Runnable Requirements Specifications in SPILL-2., и . PLILP, том 844 из Lecture Notes in Computer Science, стр. 449-450. Springer, (1994)Executable requirements Specifications in a Logic Specification Language SPILL-2., и . ICLP Workshop: Applications of Logic Programming to Software Engineering, (1994)Towards a "Middle Road" Methodology for Writing Code Generators., и . PLILP, том 348 из Lecture Notes in Computer Science, стр. 105-118. Springer, (1988)Proving Correctness and Completeness of Normal Programs - A Declarative Approach., и . ICLP, том 2237 из Lecture Notes in Computer Science, стр. 284-299. Springer, (2001)