From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An Algebraic Construction of Predicate Transformers.

P. Gardiner, C. Martin, и O. de Moor. MPC, том 669 из Lecture Notes in Computer Science, стр. 100-121. Springer, (1992)

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.

PILeT: an Interactive Learning Tool To Teach Python.B. Alshaigy, S. Kamal, F. Mitchell, C. Martin, и A. Aldea. WiPSCE, стр. 76-79. ACM, (2015)An Algebraic Construction of Predicate Transformers.P. Gardiner, C. Martin, и O. de Moor. MPC, том 669 из Lecture Notes in Computer Science, стр. 100-121. Springer, (1992)Towards a Calculus of Predicate Transformers.C. Martin. MFCS, том 969 из Lecture Notes in Computer Science, стр. 489-498. Springer, (1995)Nondeterministic Folds.C. Martin, и S. Curtis. MPC, том 4014 из Lecture Notes in Computer Science, стр. 274-298. Springer, (2006)Modelling Nondeterminism.C. Martin, S. Curtis, и I. Rewitzky. MPC, том 3125 из Lecture Notes in Computer Science, стр. 228-251. Springer, (2004)Monadic Maps and Folds for Multirelations in an Allegory.C. Martin, и S. Curtis. UTP, том 5713 из Lecture Notes in Computer Science, стр. 102-121. Springer, (2008)