Jump to main content
文書・図像類

関数型言語による高信頼性プログラミング

Icons representing 文書・図像類

関数型言語による高信頼性プログラミング

Material type
文書・図像類
Author
淺井, 健一ほか
Publisher
国立大学法人お茶の水女子大学
Publication date
2009-09
Material Format
Digital
Capacity, size, etc.
-
NDC
370
View All

Notes on use

Note (General):

application/pdfその他

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • TeaPot Ochanomizu University Institutional Repository

    Digital
    You can check the holdings of institutions and databases with which Institutional Repositories DataBase(IRDB)(Institutional Repository) is linked at the site of Institutional Repositories DataBase(IRDB)(Institutional Repository).

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type
文書・図像類
Author/Editor
淺井, 健一
ASAI, Kenichi
Publication, Distribution, etc.
Publication Date
2009-09
Publication Date (W3CDTF)
2009-09
Periodical title
2009-2010 研究紹介集
Pages
18-18
Text Language Code
jpn