Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
tarafından
 
Păsăreanu, Corina S. editor.

Başlık
: 
Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Yazar
: 
Păsăreanu, Corina S. editor.

ISBN
: 
9783642358616

Fiziksel Tanımlama
: 
X, 277 p. 72 illus. online resource.

Seri
: 
Lecture Notes in Computer Science, 7684

Konu Terimleri
: 
Computer science.
 
Software engineering.
 
Logic design.
 
Information Systems.
 
Mathematical Logic and Formal Languages.
 
Logics and Meanings of Programs.
 
Programming Languages, Compilers, Interpreters.
 
Programming Techniques.
 
Management of Computing and Information Systems.

Yazar Ek Girişi
: 
Salaün, Gwen.

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

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


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