Número de Cutter-SanbornM913rEntrada «Moss» → 913 · marca de obra “r”

Recent Trends in Algebraic Development Techniques

Name: Recent Trends in Algebraic Development Techniques
ISBN: 9783642284120

20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Autor	Till Mossakowski
Editorial	Springer Berlin Heidelberg
Fecha de publicación	2012
Lugar	Berlin, Heidelberg
Idioma	inglés
Formato	[electronic resource] :
ISBN-13	9783642284120
Serie	Lecture Notes in Computer Science -- 7137
Número de Cutter	`M913r`

Recent Trends in Algebraic Development Techniques (2012) — ISBN 9783642284120 | Cutter Number