Abrial, Jean-Raymond, 1938-
The B-book : assigning programs to meanings / Jean-Raymond Abrial. - Cambridge ; New York : Cambridge University, 1996. - xxxiv, 779 p. ; 26 cm.
Incluye índice.
0521021758
Lógica y significado de programas
Lenguajes de programación
Logics and meanings of programs
Programming languages
The B-book : assigning programs to meanings / Jean-Raymond Abrial. - Cambridge ; New York : Cambridge University, 1996. - xxxiv, 779 p. ; 26 cm.
Incluye índice.
0521021758
Lógica y significado de programas
Lenguajes de programación
Logics and meanings of programs
Programming languages