提案スペルによる検索:
constructive python » constructive action, constructive path, constructive methods
programming logic » programmable logic
logic context » logic concepts, logic control
context data » context david, context a, text data
1
出版事項 2013
目次: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
全文の入手
電子媒体 eBook