|
1.
|
|
|
2.
|
Tests and Proofs [electronic resource] : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 June 1, 2012. Proceedings / edited by Achim D. Brucker, Jacques Julliand. por Brucker, Achim D [editor.] | Julliand, Jacques [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
3.
|
|