Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
tarafından
 
Iyoda, Juliano. editor.

Başlık
: 
Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings

Yazar
: 
Iyoda, Juliano. editor.

ISBN
: 
9783642410710

Fiziksel Tanımlama
: 
X, 243 p. 81 illus. online resource.

Seri
: 
Lecture Notes in Computer Science, 8195

Konu Terimleri
: 
Computer science.
 
Computer Science, general.

Yazar Ek Girişi
: 
Moura, Leonardo.

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

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


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