( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
System Description: Embedding Verification into Microsoft Excel.

, и . CADE, том 1831 из Lecture Notes in Computer Science, стр. 497-501. Springer, (2000)

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.

Patricia Collins

Collins Fosu

Handa Collins

Trevor Collins

Mark Collins

 

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

Pedagogical Lessons from an International Collaborative Big Data Undergraduate Research Project., , и . ECSA Workshops, стр. 32:1-32:6. ACM, (2015)A qualitative comparison of two processes for object-oriented software development., , , и . Inf. Softw. Technol., 43 (12): 705-724 (2001)Third generation OO processes: a critique of RUP and OPEN from a project management perspective., , , и . APSEC, стр. 428-435. IEEE Computer Society, (2000)A Proof Tool for Reasoning About Functional Programs.. TPHOLs, том 1125 из Lecture Notes in Computer Science, стр. 109-124. Springer, (1996)UML Compatible Process., , и . HICSS, IEEE Computer Society, (2001)Supporting Reasoning about Functional Programs: An Operational Approach.. Functional Programming, стр. 3. Springer, (1995)System Description: Embedding Verification into Microsoft Excel., и . CADE, том 1831 из Lecture Notes in Computer Science, стр. 497-501. Springer, (2000)A Theory of Finite Maps., и . TPHOLs, том 971 из Lecture Notes in Computer Science, стр. 122-137. Springer, (1995)STM ROUNDS UP ELECTRON WAVES AT THE QM CORRAL. Physics Today, (ноября 1993)Towards the Development of an Ultrasound-Guided Robotically Steerable Guidewire., , , , , , и . ISMR, стр. 173-180. IEEE, (2020)