Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
tarafından
 
Giacobazzi, Roberto. editor.

Başlık
: 
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

Yazar
: 
Giacobazzi, Roberto. editor.

ISBN
: 
9783642358739

Fiziksel Tanımlama
: 
XI, 556 p. 123 illus. online resource.

Seri
: 
Lecture Notes in Computer Science, 7737

Konu Terimleri
: 
Computer science.
 
Computer Communication Networks.
 
Software engineering.
 
Logic design.
 
Artificial intelligence.
 
Logics and Meanings of Programs.
 
Mathematical Logic and Formal Languages.
 
Computation by Abstract Devices.
 
Artificial Intelligence (incl. Robotics).

Yazar Ek Girişi
: 
Berdine, Josh.
 
Mastroeni, Isabella.

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

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


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