Treffer: Axiomatising the logic of computer programming

Titel:

Beteiligt:

Goldblatt, Robert

Veröffentlicht:

Berlin [u.a.] : Springer, 1982

Umfang:

XI, 304 S. : graph. Darst.

Format:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Lecture notes in computer science ; 130
alle Bände anzeigen

RVK-Notation:

Schlagworte:

ISBN:

3540112103 ; 0387112103

Zusatz-Informationen