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

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

(GRACE technical reports ; 2008-3)

Publisher: Center for Global Research in Advanced Software Science and Engineering, National Institute of Informatics

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

Material Type: 図書
Title: Proceedings of the first international workshop on formal methods education and training
Author/Editor: Jim Davies, Jeremy Gibbons, Mike Hinchey, Kenji Taguchi (editors)
Series Title: GRACE technical reports ; 2008-3
Author Heading: Davies, Jim ( 01171403 )Authorities
Gibbons, Jeremy ( 01171406 )Authorities
Hinchey, Michael Gerard ( 01171413 )Authorities
Publication, Distribution, etc.: Tokyo : Center for Global Research in Advanced Software Science and Engineering, National Institute of Informatics
Publication Date: 2008.10
Publication Date (W3CDTF): 2008
Extent: 79p
Size: 30cm
Place of Publication (Country Code): JP
Text Language Code: eng
NDLC: M18
Target Audience: 一般
Note (Bibliography): 文献あり
Holding library: 国立国会図書館
Call No.: M18-B914
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000010493388
http://id.ndl.go.jp/bib/000010493388
National Bibliography No. (JPNO): 21637554
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 113