Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Results
Lógica de pruebas para certificación de computación móvil by
Material type: Text Text; Literary form: Not fiction
Publication details: 2009
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2009.
Online access:
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 09/22 . Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Justification logic as a foundation for certifying mobile computation by
Material type: Article Article; Literary form: Not fiction
Online access:
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

The logic of proofs as a foundation for certifying mobile computation by
Material type: Article Article; Literary form: Not fiction
Online access:
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Pages