Web Services and Formal Methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : Revised Selected Papers /
Shranjeno v:
| Korporativna značnica: | |
|---|---|
| Drugi avtorji: | , |
| Format: | Procedimiento de la conferencia Knjiga |
| Jezik: | angleščina |
| Izdano: |
Cham, Suiza :
Springer,
2014, c2014
|
| Serija: | (Lecture Notes in Computer Science ;
8379) |
| Teme: | |
| Online dostop: | Ver documento en línea |
| Oznake: |
Brez oznak, prvi označite!
|
Podobne knjige/članki: 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 /
- Cloud Computing and Services Science : Third International Conference, CLOSER 2013, Aachen, Germany, May 8–10, 2013 : Revised Selected Papers /
- Advances in Service-Oriented and Cloud Computing /
- Stochastic Petri Nets : Modelling, Stability, Simulation /
- Application and Theory of Petri Nets : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012 : Proceedings /
