Formal methods for open object-based distributed systems 5 : IFIP TC6/WG6.1 : fifth international conference on formal methods for open object-based distributed systems (FMOODS 2002) : March 20-22, 2002, Enschede, the Netherlands. : Mar 2002, Enschede, the Netherlands. (IFIP ; 81)

Formal methods for open object-based distributed systems 5 : IFIP TC6/WG6.1 : fifth international conference on formal methods for open object-based distributed systems (FMOODS 2002) : March 20-22, 2002, Enschede, the Netherlands. : Mar 2002, Enschede, the Netherlands.

(IFIP ; 81)

Call No. (NDL): M17-03-3415
Bibliographic ID of National Diet Library: 000004201984

Material type: 図書

Author: Jacobs, Bart.ほか

Publisher: Kluwer Academic

Publication date: c2002.

Material Format: Paper

Capacity, size, etc.: x, 278 p. : ill. ; 25 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers.

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: 0792376838 (alk. paper)
Title: Formal methods for open object-based distributed systems 5 : IFIP TC6/WG6.1 : fifth international conference on formal methods for open object-based distributed systems (FMOODS 2002) : March 20-22, 2002, Enschede, the Netherlands. : Mar 2002, Enschede, the Netherlands.
Series Title: IFIP ; 81
Title Heading: International Federation for Information Processing (Series) ; 81.
Author Heading: Jacobs, Bart.
Rensink, Arend.
International Conference on Formal Methods for Open Object-Based Distributed Systems (5th : 2002 : Enschede, Netherlands)
Publication, Distribution, etc.: Boston : Kluwer Academic
Publication Date: c2002.
Publication Date (W3CDTF): 2002
Extent: x, 278 p. : ill. ; 25 cm.
Alternative Title: Formal methods for open object-based distributed systems 5 : IFIP TC6/WG6.1 : 5th international conference on formal methods for open object-based distributed systems (FMOODS 2002) : March 20-22, 2002, Enschede, the Netherlands
Place of Publication (Country Code): US
Text Language Code: eng
Subject Heading: Electronic data processing -- Distributed processing -- Congresses.
Object-oriented programming (Computer science) -- Congresses.
LCC: QA76.9.D5
DDC: 005.1/17
NDLC: M17
Note (General): Papers.
Note (Bibliography): Includes bibliographical references and index.
Holding library: 国立国会図書館
Call No.: M17-03-3415
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000004201984
http://id.ndl.go.jp/bib/000004201984
LC Control Number: 2002016018
https://lccn.loc.gov/2002016018
RLIN No.: DCLC2002016018-B
Bibliographic Record Category (NDL): 215