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



2.

Record Nr.

UNISA990003498210203316

Autore

SWEET, Richard H.

Titolo

Chirurgia toracica : Illustrazioni di Jorge rodriguez Arroyo. Traduzione dalla seconda edizione americana di Carlo Mauro. Note di Luigi Torraca. Con 159 figure in nero ed a colori e una tav. F. T / Richard H. Sweet

Pubbl/distr/stampa

Napoli : Ed. Idelson di E. Gnocchi e F., 1954

Descrizione fisica

XIX, 367 p. : ill. ; 27 cm

Disciplina

617

Soggetti

Chirurgia - Torace

Collocazione

FDC 111

Lingua di pubblicazione

Italiano

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Tit. orig.: Thoracic surgery