図書

Coqによる定理証明 : Coqでスタック指向プログラミング

Icons representing 図書

Coqによる定理証明 : Coqでスタック指向プログラミング

Call No. (NDL)
Y93-J5518
Bibliographic ID of National Diet Library
023869520
Material type
図書
Author
坂口和彦 著
Publisher
[坂口和彦]
Publication date
2012.8
Material Format
Paper
Capacity, size, etc.
43p ; 21cm
NDC
-
View All

Search by Bookstore

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.

Paper

Material Type
図書
Title Transcription
Coq ニ ヨル テイリ ショウメイ : Coq デ スタック シコウ プログラミング
Author/Editor
坂口和彦 著
Publication, Distribution, etc.
Publication Date
2012.8
Publication Date (W3CDTF)
2012
Extent
43p
Size
21cm
Place of Publication (Country Code)
JP