Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference FMOODS 2007 : Paphos, Cyprus, June 6-8, 2007 : proceedings. : federated conferences on distributed computing techniques (DisCoTec) : Jun 2007, Paphos, Cyprus. (Lecture Notes in Computer Science ; 4468)

Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference FMOODS 2007 : Paphos, Cyprus, June 6-8, 2007 : proceedings. : federated conferences on distributed computing techniques (DisCoTec) : Jun 2007, Paphos, Cyprus.

(Lecture Notes in Computer Science ; 4468)

Call No. (NDL): M17-07-2714
Bibliographic ID of National Diet Library: 000009142028

Material type: 図書

Author: University of Cyprus. Department of Computer Science.ほか

Publisher: Springer

Publication date: c2007.

Material Format: Paper

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

NDC: -

View All

Notes on use

Note (General)：: Selected papers."The conference is part of the federated conferences on Distributed Computing Techniques (DisCoTec) , together with the Ninth Internat...

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: 9783540729198 (ISBN-13 : pbk.)
3540729194 (pbk.)
ISSN (series): 0302-9743
Title: Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference FMOODS 2007 : Paphos, Cyprus, June 6-8, 2007 : proceedings. : federated conferences on distributed computing techniques (DisCoTec) : Jun 2007, Paphos, Cyprus.
Series Title: Lecture Notes in Computer Science ; 4468
Author Heading: University of Cyprus. Department of Computer Science.
Bonsangue, Marcello M.
Johnsen, Einar Broch.
International Conference on Formal Methods for Open Object-Based Distributed Systems (9th : 2007 : Paphos, Cyprus)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2007.
Publication Date (W3CDTF): 2007
Extent: x, 316 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): Selected papers.
"The conference is part of the federated conferences on Distributed Computing Techniques (DisCoTec) , together with the Ninth International Conference on Coordination Models and Languages (COORDINATION 2007) and the Seventh IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2007) ." -- pref.
"The event was the third federated DisCoTec conference series, (...) " -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-07-2714
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000009142028
http://id.ndl.go.jp/bib/000009142028
LC Control Number: 2007927619
https://lccn.loc.gov/2007927619
OCLC No.: 137334577
https://www.worldcat.org/oclc/137334577
Bibliographic Record Category (NDL): 215