図書

Proceedings of the first international workshop on formal methods education and training (GRACE technical reports ; 2008-3)

Icons representing 図書

Proceedings of the first international workshop on formal methods education and training

(GRACE technical reports ; 2008-3)

Call No. (NDL)
M18-B914
Bibliographic ID of National Diet Library
000010493388
Material type
図書
Author
Jim Davies, Jeremy Gibbons, Mike Hinchey, Kenji Taguchi (editors)
Publisher
Center for Global Research in Advanced Software Science and Engineering, National Institute of Informatics
Publication date
2008.10
Material Format
Paper
Capacity, size, etc.
79p ; 30cm
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
図書
Author/Editor
Jim Davies, Jeremy Gibbons, Mike Hinchey, Kenji Taguchi (editors)
Publication Date
2008.10
Publication Date (W3CDTF)
2008
Extent
79p
Size
30cm