1.

Record Nr.

UNISA990000130350203316

Autore

Dijkstra, Edsberg Wybe

Titolo

Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten

Pubbl/distr/stampa

New York [etc.] : Springer-Verlag, copyr. 1990

ISBN

0-387-96957-8

Descrizione fisica

220 p. ; 25 cm

Collana

Texts and monographs in computer science ; 0

Disciplina

5113

Collocazione

511.3 DIJ (A)

511.3 DIJ (B)

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia