Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science)
by Andrea Corradini, Ugo Montanari
ISBN 13: 9783642034282
Format: Paperback (352 pages) Publisher: Springer Published: 07 Sep 2009
Save for later
Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings (Lecture Notes ... Computer Science and General Issues)
by
ISBN 13: 9783540738572
Format: Paperback (463 pages) Publisher: Springer Published: 09 Aug 2007
Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers (Lecture Notes in Computer ... Computer Science and General Issues)
ISBN 13: 9783540753339
Format: Paperback (339 pages) Publisher: Springer Published: 22 Nov 2007