Formal techniques for distributed systems : joint 14th IFIP WG 6.1 international conference, FMOODS 2012 and 32nd IFIP WG 6.1 international conference, FORTE 2012 : Stockholm, Sweden, June 13-16, 2012 : proceedings : 7th international federated conferences on distributed computing techniques (DisCoTec) : 14th IFIP international conference on formal methods for open object-based distributed systems : 32nd IFIP international conference on formal techniques for networked and distributed systems : federated conference event DisCoTec 2012 : Jun 2012, Stockholm, Sweden. (Lecture Notes in Computer Science ; 7273)

Formal techniques for distributed systems : joint 14th IFIP WG 6.1 international conference, FMOODS 2012 and 32nd IFIP WG 6.1 international conference, FORTE 2012 : Stockholm, Sweden, June 13-16, 2012 : proceedings : 7th international federated conferences on distributed computing techniques (DisCoTec) : 14th IFIP international conference on formal methods for open object-based distributed systems : 32nd IFIP international conference on formal techniques for networked and distributed systems : federated conference event DisCoTec 2012 : Jun 2012, Stockholm, Sweden.

(Lecture Notes in Computer Science ; 7273)

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

Material type: 図書

Author: International Conference on Formal Methods for Open Object-Based Distributed Systems (14th : 2012 : Stockholm, Sweden)ほか

Publisher: Springer

Publication date: c2012.

Material Format: Paper

Capacity, size, etc.: xii, 267 p. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers.Described as "(...) (FMOODS) and (...) (FORTE) held during June 13-14, 2012, in Stockholm." -- pref."FMOODS/FORTE was hosted together with the ...

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: 9783642307928 (pbk. : alk. paper)
9783642307935 (e-ISBN)
ISSN: 16113349 (e-ISSN)
ISSN (series): 03029743
Title: Formal techniques for distributed systems : joint 14th IFIP WG 6.1 international conference, FMOODS 2012 and 32nd IFIP WG 6.1 international conference, FORTE 2012 : Stockholm, Sweden, June 13-16, 2012 : proceedings : 7th international federated conferences on distributed computing techniques (DisCoTec) : 14th IFIP international conference on formal methods for open object-based distributed systems : 32nd IFIP international conference on formal techniques for networked and distributed systems : federated conference event DisCoTec 2012 : Jun 2012, Stockholm, Sweden.
Series Title: Lecture Notes in Computer Science ; 7273
Title Heading: LNCS sublibrary. SL 2, Programming and software engineering.
Lecture notes in computer science ; 7273.
Author Heading: International Conference on Formal Methods for Open Object-Based Distributed Systems (14th : 2012 : Stockholm, Sweden)
Giese, Holger.
Roşu, Grigore.
Royal Institute of Technology, Sweden (KTH)
FORTE 2012 (2012 : Stockholm, Sweden)
Publication, Distribution, etc.: Heidelberg : Springer
New York : Springer
Publication Date: c2012.
Publication Date (W3CDTF): 2012
Extent: xii, 267 p.
Other physical details: ill.
Size: 24 cm.
Additional Title: FMOODS/FORTE 2012.
Place of Publication (Country Code): DE
US
Text Language Code: eng
Subject Heading: Electronic data processing--Distributed processing--Congresses.
Formal methods (Computer science)--Congresses.
LCC: QA76.9.D5
DDC: 004.01/51
NDLC: M17
Target Audience: 一般
Note (General): Papers.
Described as "(...) (FMOODS) and (...) (FORTE) held during June 13-14, 2012, in Stockholm." -- pref.
"FMOODS/FORTE was hosted together with the 14th International Conference on Coordination Models and Languages (COORDINATION) and the 12th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS) by the federated conference event DisCoTec 2012, (...)" -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-13-524
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 023928010
http://id.ndl.go.jp/bib/023928010
LC Control Number: 2012938642
https://lccn.loc.gov/2012938642
OCLC No.: 801883147
https://www.worldcat.org/oclc/801883147
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215