Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
tarafından
 
Beek, Maurice H. editor.

Başlık
: 
Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Yazar
: 
Beek, Maurice H. editor.

ISBN
: 
9783642382307

Fiziksel Tanımlama
: 
X, 151 p. 55 illus. online resource.

Seri
: 
Lecture Notes in Computer Science, 7843

Konu Terimleri
: 
Computer science.
 
Software engineering.
 
Logic design.
 
Information Systems.
 
Information Systems Applications (incl. Internet).
 
Management of Computing and Information Systems.
 
Logics and Meanings of Programs.
 
Programming Languages, Compilers, Interpreters.
 
User Interfaces and Human Computer Interaction.

Yazar Ek Girişi
: 
Lohmann, Niels.

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

Elektronik Erişim
: 
http://dx.doi.org/10.1007/978-3-642-38230-7


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