Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
tarafından
 
Escobar, Santiago. editor. (orcid)0000-0002-3550-4781

Başlık
: 
Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Yazar
: 
Escobar, Santiago. editor. (orcid)0000-0002-3550-4781

ISBN
: 
9783319129044

Basım Bilgisi
: 
1st ed. 2014.

Fiziksel Tanımlama
: 
X, 297 p. 49 illus. online resource.

Seri
: 
Theoretical Computer Science and General Issues ; 8663

Konu Terimleri
: 
Computer logic.
 
Software engineering.
 
Computer programming.
 
Mathematical logic.
 
Computers.

Yazar Ek Girişi
: 
Escobar, Santiago.

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

Elektronik Erişim
: 
https://doi.org/10.1007/978-3-319-12904-4


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