Suggested Topics within your search.
Suggested Topics within your search.
- Administrative data processing 3
- Ingeniería de software 3
- Procesamiento de datos administrativos 3
- Programación-Técnicas 3
- Programming techniques
- Software engineering 3
- Administración de base de datos 1
- Administración de sistemas de computación y de información 1
- Analysis of algorithms and problem complexity 1
- Análisis de algoritmos y problemas de complejidad 1
- Análisis numérico 1
- Ciencias físicas e ingeniería 1
- Coding and information theory 1
- Computer-aided engineering 1
- Database management 1
- Discrete mathematics 1
- Distributed systems 1
- Ingeniería asistida por computadoras 1
- Lenguajes de programación 1
- Lenguajes de programación-Definiciones formales y teoría 1
- Management of computing and information systems 1
- Matemática discreta 1
- Numerical analyis 1
- Operating systems 1
- Physical sciences and engineering 1
- Programas-Especificación 1
- Programas-Verificación 1
- Programming languages 1
- Programming languages-Formal definitions and theory 1
- Programs-Specification 1
-
1
-
2
FME'96 : industrial benefit and advances in formal methods /
Published 1996Subjects:Conference Proceeding Book -
3