Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
tarafından
 
Miné, Antoine. editor.

Başlık
Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Yazar
Miné, Antoine. editor.

ISBN
9783642331251

Fiziksel Tanımlama
XI, 457 p. 153 illus. online resource.

Seri
Lecture Notes in Computer Science, 7460

Seri Başlığı
Lecture Notes in Computer Science, 0302-9743 ; 7460

Konu Terimleri
Computer science.
 
Software engineering.
 
Logic design.

Yazar Ek Girişi
Schmidt, David.

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

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


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