Pātuhitia tēnei :: Catálogo de Recursos Digitales - Universidad de El Salvador

Tīpoka ki te ihirangi

VuFind

Takiuru pūtahitanga
- English
- Deutsch
- Español
- Français
- Italiano
- 日本語
- Nederlands
- Português
- Português (Brasil)
- 中文(简体)
- 中文（繁體）
- Türkçe
- עברית
- Gaeilge
- Cymraeg
- Ελληνικά
- Català
- Euskara
- Русский
- Čeština
- Suomi
- Svenska
- polski
- Dansk
- slovenščina
- اللغة العربية
- বাংলা
- Galego
- Tiếng Việt
- Hrvatski
- हिंदी
- Հայերէն
- Українська
- Sámegiella
- Монгол
- Māori

Catálogo
ProQuest

Whatutoto

Verifying Procedural Programs...
Text This

Pātuhitia tēnei: Verifying Procedural Programs via Constrained Rewriting Induction

Tau:

i whakahuatia:

+ (503) 2511-2000

Ciudad Universitaria "Dr. Fabio Castillo Figueroa", Final Avenida "Mártires Estudiantes del 30 de julio", San Salvador, El Salvador, América Central.

Facultades

Facultad de Ciencias Agronómicas

Facultad de Ciencias Económicas

Facultad de Ciencias Naturales y Matemática

Facultad de Ciencias y Humanidades

Facultad de Ingeniería y Arquitectura

Facultad de Jurisprudencia y Ciencias Sociales

Facultad de Medicina

Facultad Multidisciplinaria de Occidente

Facultad Multidisciplinaria de Oriente

Facultad Multidisciplinaria Paracentral

Facultad de Odontología

Facultad de Química y Farmacia

Secretarias

Secretaría General

Secretaría de Arte y Cultura

Secretaría de Asuntos Académicos

Secretaría de Comunicaciones

Secretaría de Investigaciones Científicas

Secretaría de Planificación

Secretaría de Posgrado

Secretaría de Proyección Social

Secretaría de Relaciones Nacionales e Internacionales

Instituciones

Asamblea General Universitaria

Consejo Superior Universitario

Editorial Universitaria

Librería Universitaria

Portal de Transparencia

Compras Públicas

Repositorio Institucional