Programs, Proofs, Processes
de Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes
Ediciones (1)
- Programs, Proofs, Processes (2010)
Springer London, Limited · inglés · ISBN 9783642139628
de Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes
Springer London, Limited · inglés · ISBN 9783642139628
1995