Suggested Topics within your search.
Suggested Topics within your search.
- Administración de sistemas de computación y de información
- Distributed systems 1
- Ingeniería de software 1
- Lenguajes de programación-Definiciones formales y teoría 1
- Management of computing and information systems 1
- Programación-Técnicas 1
- Programas-Especificación 1
- Programas-Verificación 1
- Programming languages-Formal definitions and theory 1
- Programming techniques 1
- Programs-Specification 1
- Programs-Verification 1
- Sistemas distribuidos 1
- Software engineering 1
-
1
Formal methods for industrial applications : specifying and programming the steam boiler control /
Published 1996Subjects: “…Lenguajes de programación-Definiciones formales y teoría.…”
Book