Web services and formal methods : 10th international workshop, WS-FM 2013 : Beijing, China, August 2013 : revised selected papers : 10th international workshop on web services and formal methods: formal aspects of service-oriented and cloud computing : Aug 2013, Beijing, China. (Lecture Notes in Computer Science ; 8379)

Web services and formal methods : 10th international workshop, WS-FM 2013 : Beijing, China, August 2013 : revised selected papers : 10th international workshop on web services and formal methods: formal aspects of service-oriented and cloud computing : Aug 2013, Beijing, China.

(Lecture Notes in Computer Science ; 8379)

Call No. (NDL): M17-15-1509
Bibliographic ID of National Diet Library: 026193397

Material type: 図書

Author: WS-FM (Workshop) (10th : 2013 : Beijing, China)ほか

Publisher: Springer

Publication date: [2014]

Material Format: Paper

Capacity, size, etc.: viii, 187 pages ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Revised selected papers.

Other physical details：: illustrations

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: 9783319082592 (print)
3319082590 (print)
ISBN (error code): 9783319082608 (electronic bk.)
3319082604 (electronic bk.)
ISSN (series): 0302-9743
Title: Web services and formal methods : 10th international workshop, WS-FM 2013 : Beijing, China, August 2013 : revised selected papers : 10th international workshop on web services and formal methods: formal aspects of service-oriented and cloud computing : Aug 2013, Beijing, China.
Series Title: Lecture Notes in Computer Science ; 8379
Title Heading: Lecture notes in computer science ; 8379.
LNCS sublibrary. SL 2, Programming and software engineering.
Author Heading: WS-FM (Workshop) (10th : 2013 : Beijing, China)
Tuosto, Emilio.
Ouyang, Chun.
Publication, Distribution, etc.: Cham : Springer (出版)
Publication Date: [2014]
Publication Date (W3CDTF): 2014
Extent: viii, 187 pages
Other physical details: illustrations
Size: 24 cm.
Place of Publication (Country Code): CH
Text Language Code: eng
Genre/Form Terms: Conference proceedings.
Content Type: text
Media Type: unmediated
Carrier Type: volume
Subject Heading: Web services--Congresses.
Formal methods (Computer science)--Congresses.
Formal methods (Computer science)
Web services.
NDLC: M17
Target Audience: 一般
Note (General): Revised selected papers.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-15-1509
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 026193397
http://id.ndl.go.jp/bib/026193397
OCLC No.: 894832712
https://www.worldcat.org/oclc/894832712
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215