Hans Langmaack

Showing 1 - 1 results of 1 for search 'Langmaack, Hans, 1934-', query time: 0.01s
Refine Results
-
1
Formal methods for industrial applications : specifying and programming the steam boiler control /
Published 1996Other Authors:Call Number: Loading…
Located: Loading…Book Loading…
Search Tools:
Related Subjects
Administración de sistemas de computación y de información
Distributed systems
Ingeniería de software
Lenguajes de programación-Definiciones formales y teoría
Management of computing and information systems
Programación-Técnicas
Programas-Especificación
Programas-Verificación
Programming languages-Formal definitions and theory
Programming techniques
Programs-Specification
Programs-Verification
Sistemas distribuidos
Software engineering