Tools and algorithms for the construction and analysis of systems /
Tools and algorithms for the construction and analysis of systems /
ed. Ed Brinksma.
- Berlin : Springer, 1997.
- x, 430 p. : il. ; 24 cm.
- Lecture notes in computer science ; v. 1217 LNCS ; v. 1217 .
3540627901
Lógica y significado de programas.
Logics and meanings of programs.
Verificación de programas.
Program verification.
Software-Tools and techniques.
Software-Herramientas y técnicas.
Sistemas distribuidos.
Distributed systems.
3540627901
Lógica y significado de programas.
Logics and meanings of programs.
Verificación de programas.
Program verification.
Software-Tools and techniques.
Software-Herramientas y técnicas.
Sistemas distribuidos.
Distributed systems.