Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
tarafından
 
Beckert, Bernhard. editor.

Başlık
: 
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Yazar
: 
Beckert, Bernhard. editor.

ISBN
: 
9783642358876

Fiziksel Tanımlama
: 
X, 356 p. 129 illus. online resource.

Seri
: 
Lecture Notes in Computer Science, 7542

Konu Terimleri
: 
Computer science.
 
Software engineering.
 
Operating systems (Computers).
 
Logic design.
 
Programming Languages, Compilers, Interpreters.
 
Operating Systems.
 
Logics and Meanings of Programs.
 
Software Engineering/Programming and Operating Systems.
 
Information Systems Applications (incl. Internet).

Yazar Ek Girişi
: 
Damiani, Ferruccio.
 
Boer, Frank S.
 
Bonsangue, Marcello M.

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

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


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