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

Title
: 
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Author
: 
Martí-Oliet, Narciso. editor.

ISBN
: 
9783642376351

Physical Description
: 
X, 283 p. 71 illus. online resource.

Series
: 
Lecture Notes in Computer Science, 7841

Subject Term
: 
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.

Added Author
: 
Palomino, Miguel.

Added Corporate Author
: 
SpringerLink (Online service)

Electronic Access
: 
http://dx.doi.org/10.1007/978-3-642-37635-1


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book334465-1001ONLINE(334465.1)Elektronik Kütüphane