Formal methods for open object-based distributed systems 4 : 4th International conference : Sep 2000, Stanford, CA. (International Federation for Information Processing ; 49)

Formal methods for open object-based distributed systems 4 : 4th International conference : Sep 2000, Stanford, CA.

(International Federation for Information Processing ; 49)

Call No. (NDL): M17-00-2052
Bibliographic ID of National Diet Library: 000003448623

Material type: 図書

Author: International Federation for Information Processing. TC 6. WG 6.1.

Publisher: -

Publication date: -

Material Format: Paper

Capacity, size, etc.: v.

NDC: -

View All

Notes on use

Note (General)：: Papers and abstracts.Also known as FMOODS 2000.Index term: open object based distributed systems ; FMOODS ; IFIP ; formal methods.

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: 0792379233
Title: Formal methods for open object-based distributed systems 4 : 4th International conference : Sep 2000, Stanford, CA.
Series Title: International Federation for Information Processing ; 49
Author Heading: International Federation for Information Processing. TC 6. WG 6.1.
Extent: v.
Alternative Title: Also known as FMOODS 2000
open object based distributed systems ; FMOODS ; IFIP ; formal methods
NDLC: M17
Note (General): Papers and abstracts.
Also known as FMOODS 2000.
Index term: open object based distributed systems ; FMOODS ; IFIP ; formal methods.
Holding library: 国立国会図書館
Call No.: M17-00-2052
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003448623
http://id.ndl.go.jp/bib/000003448623
Bibliographic Record Category (NDL): 215