Export Record :: Library Catalog

Skip to content

Inicio
Login

Descubre más: busca en todos nuestros recursos

Advanced

基于大模型的形式化验证系统架构设计....
Export Record

Please choose an export format.

Export to RefWorks
Export to EndNoteWeb
Export to EndNote

Search Options

Search History
Advanced Search

Find More

Browse the Catalog
Browse Alphabetically

Need Help?

Search Tips
FAQs

Servicio Nacional de Aprendizaje SENA - Dirección general

Calle 57 No. 8 - 69 Bogotá D.C. (Cundinamarca), Colombia
Atención presencial: Lunes a viernes: 8:00 a.m. a 5:30 p.m.
Resto del país sedes y horarios de atención: Lunes a viernes: 7:00 a.m. a 7:00 p.m.
sábados: 8:00 a.m. a 1:00 p.m.

Lineas gratuitas atención al ciudadano: Bogotá (57 1) 3430111 - Resto del país
018000 910270
Lineas gratuitas atención al empresario: Bogotá (57 1) 3430101 - Resto del país
018000 910682
Conmutador Nacional (57 1) 5461500 - Extensiones 12586 - 13021 - 12535 - 12542

Ministerio del Trabajo | Copyright © 2026 | Todos los derechos reservados

Tecnología implementada por