Neuigkeiten Hilfe Institutioneller Zugang

Akademische Ressourcen durchsuchen

Durchsuchen Sie institutionelle Kataloge, elektronische Ressourcen, Open-Access-Zeitschriften, verfügbare Sammlungen und akademische Zugangslinks.

Erweiterte Suche
Was NODOVOX Discovery zusammenführt: Institutionelle Kataloge, elektronische Ressourcen, Open-Access-Zeitschriften, verfügbare Sammlungen und akademische Zugangslinks.
Rechtsmedizin Recht Zeitschriften Open Access Volltext

Ergebnisse

1 Ergebnisse gefunden.

Ressourcentypen: Gedrucktes Buch E-Book Artikel Zeitschrift Abschlussarbeit Kapitel
Akademische Suche
Análisis modular y recuperación de contraejemplos en TACO
Text / Ressource
Text / Ressource
Análisis modular y recuperación de contraejemplos en TACO
Alborodo, Raúl et al · SEDICI UNLP · 2011
TACO es una herramienta para realizar verificación formal de programas, que permite detectar bugs en los mismos. Esta traduce un programa escrito en lenguaje Java y su especificación en JML a la notación DynAlloy, par...
Idioma Español
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliografischer Datensatz
NODITO
Asistencia de búsqueda académica
Te ayudo a buscar, encontrar y acceder a recursos académicos.
Consultar con NODITO
¿Qué necesitás hacer?
Consultas rápidas
NODITO Asistencia contextual NDX