Articoli correlati a Verifiable Programming
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description
Book by Dahl OleJohan
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.