Follow us on
Search Search in the site

Sardinia region

Axiomatising the logic of computer programming

Goldblatt, Robert

Category

Nature

Title

Axiomatising the logic of computer programming

Description

Axiomatising the logic of computer programming / Robert Goldblatt

Physical description

XI, 304 p. ; 25 cm

Standard numbers

ISBN: 0387112103, New York
ISBN: 3540112103, Berlin

Date

1982

Place of publication

Berlin \etc.!

Village

GERMANIA

Tongue

ID

IT\ICCU\AQ1\0020111
Biblioteca del Distretto tecnologico – sezione Matematica e informatica

Tag

Comments

Write a comment

Send