Programs, Proofs, Processes: 6th Conference on Computability in Europe, Cie, 2010, Ponta Delgada, Az

book

発売日

: 2010年

著者/編集

: Fernando Ferreira/Benedikt Lwe/Elvira Mayordomo

出版社

: SPRINGER NATURE

価格

: 14,995

ISBN

: 9783642139611