LIBROS DEL AUTOR: stefan gossens

1 resultados para LIBROS DEL AUTOR: stefan gossens

stefan gossens Eliminar filtro Quitar filtros
  • Translation of GDMO to ZEST
    Stefan Gossens
    Inhaltsangabe:Abstract: The use of formal methods in the area of software specification is a subject of current software engineering research and becoming increasingly accepted by a larger audience in the computer science community. However, the specification of telecommunication networks is mainly based on weakly formalized paradigms that rely on natural-language descriptions...
    Disponible

    45,22 €