Enlarge

Recent trends in algebraic development techniques : 21st international workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers

Publication Data

Title Recent trends in algebraic development techniques : 21st international workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers
Contributors N. Martí-Oliet, Miguel Palomino, IFIP WG 1.3
Publisher Springer
Publication date 2013
Publication location Heidelberg
Language English

Topics

Computer software :: Development :: Congresses
Computer science :: Mathematics :: Congresses

Catalogue Data

OBNB ID GBB346512
ISBN 10 3642376347
ISBN 13 9783642376344
Type BibliographicResource, Book
Dewey Classification 005.1

ISBD

P1053 x, 282 pages
P1042 Includes bibliographical references and author index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Recent trends in algebraic development techniques : 21st international workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers. ISBN 9783642376344. Published by Springer in 2013. Publication and catalogue information, links to buy online and reader comments.