Seguici su
Cerca Cerca nel sito

Regione Sardegna

Axiomatising the logic of computer programming

Goldblatt, Robert

Categoria

Natura

Titolo

Axiomatising the logic of computer programming

Descrizione

Axiomatising the logic of computer programming / Robert Goldblatt

Descrizione Fisica

XI, 304 p. ; 25 cm

Numeri Standard

ISBN: 0387112103, New York
ISBN: 3540112103, Berlin

Data

1982

Luogo di pubblicazione

Berlin \etc.!

Paese

GERMANIA

Lingua

ID

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

Tag

Commenti

Scrivi un commento

Invia