eBooks :: Kembali

eBooks :: Kembali

Web services and formal methods : 8th international workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers

edited by Marco Carbone, Jean-Marc Petit (Springer-Verlag, 2012)

 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.

 File Digital: 1

Shelf
 Web Services and Formal Methods.pdf :: Unduh

LOGIN required

 Kata Kunci

 Metadata

Jenis Koleksi : eBooks
No. Panggil : e20409844
Entri tambahan-Nama orang :
Subjek :
Penerbitan : Berlin: Springer-Verlag, 2012
Sumber Pengatalogan : LibUI eng rda
Tipe Konten : text
Tipe Media : computer
Tipe Pembawa : online resource
Deskripsi Fisik :
Tautan : http://link.springer.com/book/10.1007%2F978-3-642-29834-9
Lembaga Pemilik :
Lokasi :
  • Ketersediaan
  • Ulasan
  • Sampul
No. Panggil No. Barkod Ketersediaan
e20409844 20-22-44286041 TERSEDIA
Ulasan:
Tidak ada ulasan pada koleksi ini: 20409844
Cover
 Lihat juga