Programs, Proofs, Processes > Editions
by Fernando Ferreira First published August 11th 2010
Published
by Springer
Paperback, 0 pages
Published June 17th 2010
by Springer
2010, Paperback, 464 pages