Web Services and Formal Methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : Revised Selected Papers /
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , |
| Natura: | Atti del Convegno Libro |
| Lingua: | inglese |
| Pubblicazione: |
Cham, Suiza :
Springer,
2014, c2014
|
| Serie: | (Lecture Notes in Computer Science ;
8379) |
| Soggetti: | |
| Accesso online: | Ver documento en línea |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi: Web Services and Formal Methods :
- Cloud Computing and Services Science : Third International Conference, CLOSER 2013, Aachen, Germany, May 8–10, 2013 : Revised Selected Papers /
- 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 /
- Advances in Service-Oriented and Cloud Computing /
- Service-Oriented Computing : ICSOC 2013Workshops : CCSA, CSB, PASCEB, SWESE, WESOA, and PhD, Symposium Berlin, Germany, December 2-5, 2013 : Revised Selected Papers /
- Rules on the Web : From Theory to Applications : 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014 : Proceedings /
