| 一般注記 |
Oxford, Computing Laboratory
出典:Proceedings of the first international workshop on formal methods education and training(Center for Global Research in Advanced Software Science and Engineering,National Institute of Informatics,2008.10)
根拠:LC典拠(200908)
SRC:関数プログラミングの楽しみ / Jeremy Gibbons, Oege de Moor編 ; 山下伸夫訳 (オーム社, 2010.6)
|
著者名典拠詳細を表示