Pablo Ramirez Amador, Azure Cloud Database Engineer (Microsoft Azure / Azure Database / DBA Oracle),
PhD in Informatics
Suscribirse a:
Comentarios de la entrada (Atom)
-
Abstract Büchi automata and linear logic formulas are very useful for verification and validation of software requirements, as well as for...
-
What does the Church-Turing Thesis postulate? Salinas Molina, M. A. (2011), proposes that the Church-Turing thesis defines the computability...
INNOVATION IN TECHNOLOGICAL ARCHITECTURES
The revolution of mobile devices and industrialization 4.0, has started a new way of developing, administering and managing computer appl...
No hay comentarios.:
Publicar un comentario