Result: Axiomatising the logic of computer programming

Title:

Involved:

Goldblatt, Robert

Published:

Berlin [u.a.] : Springer, 1982

Scope:

XI, 304 S. : graph. Darst.

Format:

book

Language:

English

Series/ Mutipart item:

Lecture notes in computer science ; 130
Show all volumes

RVK-Notation:

Subject Added Keywords:

ISBN:

3540112103 ; 0387112103

Additional information