An edition of Web Services and Formal Methods
(2014)
Web Services and Formal Methods
10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
by Emilio Tuosto and Chun Ouyang
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Web services, System design, Congresses, Formal methods (Computer science), Software engineering, Information Systems Applications (incl. Internet), Computer science, Logic design, Information Systems, Management of Computing and Information Systems, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, User Interfaces and Human Computer Interaction| Edition | Availability |
|---|---|
1
Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Jul 25, 2014, Springer
paperback
3319082590 9783319082592
|
zzzz
|
2
Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
2014, Springer London, Limited
in English
3319082604 9783319082608
|
aaaa
|
Book Details
Classifications
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| December 7, 2022 | Edited by MARC Bot | import existing book |
| October 5, 2021 | Edited by ImportBot | import existing book |
| September 28, 2020 | Created by ImportBot | import new book |