Web Services and Formal Methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : Revised Selected Papers /
| Korporativní autor: | |
|---|---|
| Další autoři: | , |
| Médium: | Konferenční příspěvek Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Cham, Suiza :
Springer,
2014, c2014
|
| Edice: | (Lecture Notes in Computer Science ;
8379) |
| Témata: | |
| On-line přístup: | Ver documento en línea |
Podobné jednotky: Web Services and Formal Methods :
- Coloured Petri Nets : Modelling and Validation of Concurrent Systems /
- Application and Theory of Petri Nets and Concurrency : 34th International Conference, PETRI NETS 2013 Milan, Italy, June 24-28, 2013 : Proceedings /
- Node Cookbook : Discover Solutions, Techniques, and Best Practices for Server-side Web Development with Node.js 14 /
- Application and Theory of Petri Nets : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012 : Proceedings /
- Stochastic Petri Nets : Modelling, Stability, Simulation /
- Near Field Communication with Amazon Web Services /
