Información de la editorial
Documentos disponibles de esta editorial (1)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Natural languages are daily used to write system specifications. However, language specifications can be confusing and very hard to model and identify. Formal methods for assuring the right behavior of software work very well despite their cost,[...]
