Búsqueda avanzada

LIBROS DEL AUTOR: jt schwartz

1 resultados para LIBROS DEL AUTOR: jt schwartz

Ordenar por

Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz

JT Schwartz / Martin Davis

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important ...

Disponible

20,02 €