Formal techniques for distributed systems : joint IFIP WG 6.1 international conference FMOODS/FORTE 2013 : held as part of the 8th international federated conference on distributed computing techniques, DisCoTec 2013 : Florence, Italy, June 3-5, 2013, proceedings : 33rd FORTE/15th FMOODS : international conferences formal techniques for networked and distributed systems (FORTE) and formal methods for open object-based distributed systems (FMOODS) : FORTE/FMOODS conference : Jun 2013, Florence, Italy. (Lecture Notes in Computer Science ; 7892)

Formal techniques for distributed systems : joint IFIP WG 6.1 international conference FMOODS/FORTE 2013 : held as part of the 8th international federated conference on distributed computing techniques, DisCoTec 2013 : Florence, Italy, June 3-5, 2013, proceedings : 33rd FORTE/15th FMOODS : international conferences formal techniques for networked and distributed systems (FORTE) and formal methods for open object-based distributed systems (FMOODS) : FORTE/FMOODS conference : Jun 2013, Florence, Italy.

(Lecture Notes in Computer Science ; 7892)

Call No. (NDL): M17-13-3340
Bibliographic ID of National Diet Library: 024622026

Material type: 図書

Author: Beyer, Dirk, 1972-ほか

Publisher: Springer

Publication date: c2013.

Material Format: Paper

Capacity, size, etc.: xiii, 320 p. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Selected papers."The DisCoTec series of federated conferences, (...) included three conferences: (...) (Coordination) : (...) (DAIS) : (...) (33rd FOR...

Other physical details：: ill.

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: 9783642385919 (paperback)
9783642385926 (e-ISBN)
ISSN: 16113349 (e-ISSN)
ISSN (series): 03029743
Title: Formal techniques for distributed systems : joint IFIP WG 6.1 international conference FMOODS/FORTE 2013 : held as part of the 8th international federated conference on distributed computing techniques, DisCoTec 2013 : Florence, Italy, June 3-5, 2013, proceedings : 33rd FORTE/15th FMOODS : international conferences formal techniques for networked and distributed systems (FORTE) and formal methods for open object-based distributed systems (FMOODS) : FORTE/FMOODS conference : Jun 2013, Florence, Italy.
Series Title: Lecture Notes in Computer Science ; 7892
Author Heading: Beyer, Dirk, 1972-
Boreale, Michele.
Universita di Firenze.
International Conference on Formal Methods for Open Object-Based Distributed Systems (15th : 2013 : Florence, Italy)
International Conference on Formal Description Techniques (33rd : 2013 : Florence, Italy)
International Federated Conferences on Distributed Computing Techniques (8th : 2013 : Florence, Italy)
Publication, Distribution, etc.: Heidelberg : Springer
Publication Date: c2013.
Publication Date (W3CDTF): 2013
Extent: xiii, 320 p.
Other physical details: ill.
Size: 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Formal methods (Computer science)--Congresses.
Distributed operating systems (Computers)--Congresses.
Distributed systems
FMOODS
FORTE
DisCoTec
DDC: 004.0151
NDLC: M17
Target Audience: 一般
Note (General): Selected papers.
"The DisCoTec series of federated conferences, (...) included three conferences: (...) (Coordination) : (...) (DAIS) : (...) (33rd FORTE/15th FMOODS)" -- foreword.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-13-3340
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 024622026
http://id.ndl.go.jp/bib/024622026
OCLC No.: 850331778
https://www.worldcat.org/oclc/850331778
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215