Result: Axiomatising the logic of computer programming

*Title*:

*Author/editor-in-chief*:

Goldblatt, Robert

*Publication*:

Berlin [u.a.] : Springer, 1982

*Physical description scale*:

XI, 304 S. : graph. Darst.

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Lecture notes in computer science ; 130
*show_all_volumes*

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

3540112103 ; 0387112103

*Result*: Axiomatising the logic of computer programming