Help
Help
図書

Integration of reusable systems : IEEE international workshop on formal methods integration : 14th IEEE international conference on information reuse and integration : IEEE-IRI'2013 : Aug 2013, San Francisco, CA. (Advances in Intelligent Systems and Computing ; 263)

Icons representing 図書

Integration of reusable systems : IEEE international workshop on formal methods integration : 14th IEEE international conference on information reuse and integration : IEEE-IRI'2013 : Aug 2013, San Francisco, CA.

(Advances in Intelligent Systems and Computing ; 263)

Call No. (NDL)
M17-14-2226
Bibliographic ID of National Diet Library
025341179
Material type
図書
Author
Bouabana-Tebibel, Thouraya.ほか
Publisher
Springer
Publication date
c2014.
Material Format
Paper
Capacity, size, etc.
x, 342 p. ; 24 cm.
NDC
-
View All

Notes on use

Note (General)：

Selected papers.

Other physical details：

ill. (some col.)

Search by Bookstore

Search by Bookstore

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
9783319047164
9783319047171 (eBook)
ISSN
21945365 (electronic)
ISSN (series)
21945357
Title
Integration of reusable systems : IEEE international workshop on formal methods integration : 14th IEEE international conference on information reuse and integration : IEEE-IRI'2013 : Aug 2013, San Francisco, CA.
Series Title
Advances in Intelligent Systems and Computing ; 263
Author Heading
Bouabana-Tebibel, Thouraya.
Rubin, S. (Stuart)
Publication, Distribution, etc.
Cham : Springer
Publication Date
c2014.
Publication Date (W3CDTF)
2014