Novità Aiuto Accesso istituzionale

Cerca risorse accademiche

Esplora cataloghi istituzionali, risorse elettroniche, riviste ad accesso aperto, collezioni disponibili e collegamenti per l’accesso accademico.

Ricerca avanzata
Cosa riunisce NODOVOX Discovery: Cataloghi istituzionali, risorse elettroniche, riviste ad accesso aperto, collezioni disponibili e collegamenti per l’accesso accademico.
medicina legale diritto riviste Open Access testo completo

Risultati

1 risultati trovati.

Tipi di risorsa: Libro cartaceo Libro elettronico Articolo Rivista Tesi Capitolo
Ricerca accademica
The B method as an environment for the verification of eiffel programs: a case study
Testo / risorsa
Testo / risorsa
The B method as an environment for the verification of eiffel programs: a case study
Aguirre, Nazareno Matías et al · SEDICI UNLP · 2004
In this paper we present an attempt to represent Eiffel programs as B specifications. Our purpose is to use the B method as an environment for the verification of the correctness of Eiffel programs. We study the difficu...
Idioma Inglés
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Record bibliografico
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