Web services and formal methods [electronic resource] : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers / Emilio Tuosto, Chun Ouyang (1ds.).
2014
TK5105.88813
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
Web services and formal methods [electronic resource] : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers / Emilio Tuosto, Chun Ouyang (1ds.).
Meeting Name
ISBN
9783319082608 electronic book
3319082604 electronic book
3319082604 electronic book
Publication Details
Cham : Springer, [2014]
Copyright
©2014
Language
English
Description
1 online resource (viii, 187 pages) : illustrations.
Call Number
TK5105.88813
Dewey Decimal Classification
004/.36
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Description based on online resource; title from PDF title page (SpringerLink, viewed July 7, 2014).
Added Author
Series
Lecture notes in computer science ; 8379.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Record Appears in