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
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 334465-1001 | ONLINE(334465.1) | | Elektronik Kütüphane |