Proceedings of the ACM SIGAda Annual international conference (SIGAda 2002) : the engineering of correct and reliable software for real-time & distributed systems using ada and relatd technologies, December 8-12, 2002, Holiday Inn Houston/NASA, Houston (at Clear Lake), Texas, USA

Proceedings of the ACM SIGAda Annual international conference (SIGAda 2002) : the engineering of correct and reliable software for real-time & distributed systems using ada and relatd technologies, December 8-12, 2002, Holiday Inn Houston/NASA, Houston (at Clear Lake), Texas, USA

Material type: 図書

Author: sponsored by the ACM Special Interest Group on Ada (SIGAda) ; in cooperation with SIGAPP ... [et al.]

Publisher: Association for Computing Machinery

Publication date: c2002

Material Format: Paper

Capacity, size, etc.: 28 cm

NDC: -

View All

Notes on use

Note (General)：: "ACM order number: 825020" -- on t.p. verso

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

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: 1581136110
Title: Proceedings of the ACM SIGAda Annual international conference (SIGAda 2002) : the engineering of correct and reliable software for real-time & distributed systems using ada and relatd technologies, December 8-12, 2002, Holiday Inn Houston/NASA, Houston (at Clear Lake), Texas, USA
Author/Editor: sponsored by the ACM Special Interest Group on Ada (SIGAda) ; in cooperation with SIGAPP ... [et al.]
Author Heading: SIGAda (Conference)
https://ci.nii.ac.jp/author/DA12728133
SIGAda
https://ci.nii.ac.jp/author/DA0473684X
SIGAPP
https://ci.nii.ac.jp/author/DA07925204
Publication, Distribution, etc.: Association for Computing Machinery
Publication Date: c2002
Publication Date (W3CDTF): 2002
Size: 28 cm
Alternative Title: ACM SIGAda's 2002 annual international conference
Place of Publication (Country Code): us
Text Language Code: en
Target Audience: 一般
Note (General): "ACM order number: 825020" -- on t.p. verso
Related Material (URI): https://ci.nii.ac.jp/ncid/BA60551039#entity
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BA60551039 : BA60551039