Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
tarafından
 
Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281

Başlık
: 
Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

Yazar
: 
Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281

ISBN
: 
9783319082608

Basım Bilgisi
: 
1st ed. 2014.

Fiziksel Tanımlama
: 
IX, 189 p. 37 illus. online resource.

Seri
: 
Programming and Software Engineering ; 8379

Konu Terimleri
: 
Application software.
 
Software engineering.
 
Management information systems.
 
Computer logic.
 
Programming languages (Electronic computers).
 
User interfaces (Computer systems).

Yazar Ek Girişi
: 
Tuosto, Emilio.
 
Ouyang, Chun.

Tüzel Kişi Ek Girişi
: 
SpringerLink (Online service)

Elektronik Erişim
: 
https://doi.org/10.1007/978-3-319-08260-8


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap489400-1001ONLINEElektronik Kütüphane