Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
tarafından
 
Martí-Oliet, Narciso. editor.

Başlık
: 
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Yazar
: 
Martí-Oliet, Narciso. editor.

ISBN
: 
9783642376351

Fiziksel Tanımlama
: 
X, 283 p. 71 illus. online resource.

Seri
: 
Lecture Notes in Computer Science, 7841

Konu Terimleri
: 
Computer science.
 
Information theory.
 
Logic design.
 
Logic, Symbolic and mathematical.
 
Logics and Meanings of Programs.
 
Mathematical Logic and Formal Languages.
 
Mathematics of Computing.
 
Theory of Computation.
 
Computation by Abstract Devices.
 
Mathematical Logic and Foundations.

Yazar Ek Girişi
: 
Palomino, Miguel.

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

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


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