Showing 1 - 1 results of 1 for search 'Woodwock, James', query time: 0.01s
Refine Results
-
1
FME'96 : industrial benefit and advances in formal methods /
Published 1996Other Authors:Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Administrative data processing
Ingeniería de software
Lenguajes de programación-Definiciones formales y teoría
Procesamiento de datos administrativos
Programación-Técnicas
Programas-Especificación
Programas-Verificación
Programming languages-Formal definitions and theory
Programming techniques
Programs-Specification
Programs-Verification
Software engineering