Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008 : Oslo, Norway, June 4-6, 2008 : proceedings. : 10th IFIP Working Group 6.1 international conference on formal methods for open object-based distributed systems : 3rd federated conferences on distributed computing techniques (DisCoTec) : Jun 2008, Oslo, Norway. (Lecture Notes in Computer Science ; 5051)

Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008 : Oslo, Norway, June 4-6, 2008 : proceedings. : 10th IFIP Working Group 6.1 international conference on formal methods for open object-based distributed systems : 3rd federated conferences on distributed computing techniques (DisCoTec) : Jun 2008, Oslo, Norway.

(Lecture Notes in Computer Science ; 5051)

Call No. (NDL): M17-08-2320
Bibliographic ID of National Diet Library: 000009718865

Material type: 図書

Author: Barthe, Gilles, 1967-ほか

Publisher: Springer

Publication date: c2008.

Material Format: Paper

Capacity, size, etc.: x, 258 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: An abstract and papers."The conference was part of the (...) (DisCoTec) , together with the 10th International Conference on Coordination Models and L...

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: 9783540688624 (ISBN-13 : pbk.)
3540688625 (pbk.)
ISSN (series): 0302-9743
Title: Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008 : Oslo, Norway, June 4-6, 2008 : proceedings. : 10th IFIP Working Group 6.1 international conference on formal methods for open object-based distributed systems : 3rd federated conferences on distributed computing techniques (DisCoTec) : Jun 2008, Oslo, Norway.
Series Title: Lecture Notes in Computer Science ; 5051
Title Heading: LNCS sublibrary. SL 2 Programming and software engineering.
Author Heading: Barthe, Gilles, 1967-
Boer, Frank S. de.
International Conference on Formal Methods for Open Object-Based Distributed Systems (10th : 2008 : Oslo, Norway)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2008.
Publication Date (W3CDTF): 2008
Extent: x, 258 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Electronic data processing -- Distributed processing -- Congresses.
Object-oriented programming (Computer science) -- Congresses.
LCC: QA76.9.D5
NDLC: M17
Note (General): An abstract and papers.
"The conference was part of the (...) (DisCoTec) , together with the 10th International Conference on Coordination Models and Languages (COORDINATION 2008) and the 8th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2008) ." -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-08-2320
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000009718865
http://id.ndl.go.jp/bib/000009718865
OCLC No.: 232124186
https://www.worldcat.org/oclc/232124186
Bibliographic Record Category (NDL): 215