Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010 : Amsterdam, the Netherlands, June 7-9, 2010 : proceedings. : 12th formal methods for open object-based distributed systems : 30th formal techniques for networked and distributed systems : federated conference event DisCoTec (distributed computing techniques) : Jun 2010, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 6117)

Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010 : Amsterdam, the Netherlands, June 7-9, 2010 : proceedings. : 12th formal methods for open object-based distributed systems : 30th formal techniques for networked and distributed systems : federated conference event DisCoTec (distributed computing techniques) : Jun 2010, Amsterdam, the Netherlands.

(Lecture Notes in Computer Science ; 6117)

Call No. (NDL): M17-10-3359
Bibliographic ID of National Diet Library: 000010900962

Material type: 図書

Author: Centrum voor Wiskunde en Informatica.ほか

Publisher: Springer

Publication date: c2010.

Material Format: Paper

Capacity, size, etc.: xii, 231 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: An abstract and papers." (...) IFIP International Conference on Formal Techniques for Distributed Systems. The conference was organized as the joint a...

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: 9783642134630 (ISBN-13 : pbk.)
3642134637 (pbk.)
ISSN (series): 0302-9743
Title: Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010 : Amsterdam, the Netherlands, June 7-9, 2010 : proceedings. : 12th formal methods for open object-based distributed systems : 30th formal techniques for networked and distributed systems : federated conference event DisCoTec (distributed computing techniques) : Jun 2010, Amsterdam, the Netherlands.
Series Title: Lecture Notes in Computer Science ; 6117
Title Heading: Lecture notes in computer science ; 6117.
LNCS sublibrary. SL 2 Programming and software engineering.
Author Heading: Centrum voor Wiskunde en Informatica.
Hatcliff, John, 1966-
Zucca, Elena.
International Conference on Formal Methods for Open Object-Based Distributed Systems (12th : 2010 : Amsterdam, the Netherlands)
FORTE 2010 (2010 : Amsterdam, The Netherlands)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2010.
Publication Date (W3CDTF): 2010
Extent: xii, 231 p. : ill. ; 24 cm.
Alternative Title: FMOODS/FORTE 2010
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Electronic data processing -- Distributed processing -- Congresses.
Object-oriented programming (Computer science) -- Congresses.
Formal methods (Computer science) -- Congresses.
Verteiltes System.
Formale Methode.
Amsterdam <2010>
LCC: QA76.9
DDC: 004.36
NDLC: M17
Note (General): An abstract and papers.
" (...) IFIP International Conference on Formal Techniques for Distributed Systems. The conference was organized as the joint activity of two conferences: FMOODS (...) and FORTE (...) " -- pref.
"FMOODS/FORTE was part of the federated conference event DisCoTec (...) which also included (...) (CORDINATION) and (...) (DAIS) ." -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-10-3359
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000010900962
http://id.ndl.go.jp/bib/000010900962
OCLC No.: 641458922
https://www.worldcat.org/oclc/641458922
Bibliographic Record Category (NDL): 215