図書

2016 IEEE/ACM 4th FME workshop on formal methods in software engineering : (FormaliSE 2016) : Austin, Texas, USA : 15 May 2016 : yearly workshop on formal methods in software engineering : May 2016, Austin, TX.

Icons representing 図書

2016 IEEE/ACM 4th FME workshop on formal methods in software engineering : (FormaliSE 2016) : Austin, Texas, USA : 15 May 2016 : yearly workshop on formal methods in software engineering : May 2016, Austin, TX.

Call No. (NDL)
M17-18-457
Bibliographic ID of National Diet Library
028304592
Material type
図書
Author
FME Workshop on Formal Methods in Software Engineering (4th : 2016 : Austin, Tex.)ほか
Publisher
IEEE
Publication date
[2016]
Material Format
Paper
Capacity, size, etc.
xii, 49 pages ; 28 cm
NDC
-
View All

Notes on use

Note (General):

Papers.IEEE catalog number CFP16ZAP-POD.

Other physical details:

illustrations

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
図書
ISBN
9781509022021 (Print-On-Demand)
Publication, Distribution, etc.
Publication Date
[2016]
著作権日付 : ©2016
Publication Date (W3CDTF)
2016
Extent
xii, 49 pages
Other physical details
illustrations
Size
28 cm