Deskripsi Lengkap
| Sumber Pengatalogan : | LibUI eng rda |
| Tipe Konten : | text (rdacontent) |
| Tipe Media : | computer (rdamedia) |
| Tipe Pembawa : | online resource (rdacarrier) |
| Deskripsi Fisik : | |
| Tautan : | http://link.springer.com/book/10.1007%2F978-3-642-29834-9 |
| Lembaga Pemilik : | |
| Lokasi : |
- Ketersediaan
- File Digital: 1
- Ulasan
- Sampul
- Abstrak
| No. Panggil | No. Barkod | Ketersediaan |
|---|---|---|
| e20409844 | 20-22-44286041 | TERSEDIA |
| Tidak ada ulasan pada koleksi ini: 20409844 |
Abstrak
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM 2011. The 9 full papers presented were carefully reviewed and selected from 14 submissions. They deal with service oriented computing (SOC), cloud computing and formal methods.