1
出版事項 2013
目次: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
全文の入手
電子媒体 eBook
2
主題: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
全文の入手
電子媒体 eBook