Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
tarafından
 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

Başlık
: 
Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Yazar
: 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

ISBN
: 
9783030311575

Basım Bilgisi
: 
1st ed. 2019.

Fiziksel Tanımlama
: 
X, 207 p. 339 illus., 34 illus. in color. online resource.

Seri
: 
Programming and Software Engineering ; 11823

Konu Terimleri
: 
Software engineering.
 
Programming languages (Electronic computers).
 
Computer logic.
 
Computer system failures.

Yazar Ek Girişi
: 
Beyer, Dirk.
 
Keller, Chantal.

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

Elektronik Erişim
: 
https://doi.org/10.1007/978-3-030-31157-5


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