Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
tarafından
 
Bertacco, Valeria. editor.

Başlık
: 
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Yazar
: 
Bertacco, Valeria. editor.

ISBN
: 
9783319030777

Fiziksel Tanımlama
: 
XX, 366 p. 147 illus. online resource.

Seri
: 
Lecture Notes in Computer Science, 8244

Konu Terimleri
: 
Computer science.
 
Computer Communication Networks.
 
Software engineering.
 
Logic design.
 
Artificial intelligence.
 
Logics and Meanings of Programs.
 
Programming Languages, Compilers, Interpreters.
 
Artificial Intelligence (incl. Robotics).
 
Mathematical Logic and Formal Languages.

Yazar Ek Girişi
: 
Legay, Axel.

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

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


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