Artículos relacionados a Verifiable Programming (Prentice Hall International...
Sinopsis
This work on programming is aimed at those who know how very difficult a task it is. It adopts two approaches - focusing on program verifiability through reasoning about the program text and identifying a style of "abstract" formal concept definition for reasoning about programs.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
This work on programming is aimed at those who know how very difficult a task it is. It adopts two approaches - focusing on program verifiability through reasoning about the program text and identifying a style of abstract formal concept definition for reasoning about programs.
"Sobre este título" puede pertenecer a otra edición de este libro.