1.

Record Nr.

UNINA990000469820403321

Autore

Liskov, Barbara

Titolo

Abstraction and specification in program development / Barbara Liskov, John Güttag

Pubbl/distr/stampa

Cambridge, Mass. : The Mit Press

New York : McGraw-Hill, ©1986

ISBN

0262121123

Descrizione fisica

469 p. : ill. ; 24 cm

Collana

The MIT electrical engineering and computer science series

Altri autori (Persone)

Güttag, John

Disciplina

005.1'2

Locazione

DINEL

Collocazione

10 P.T. 471

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia



2.

Record Nr.

UNINA9910698940303321

Autore

Oyague F (Francisco)

Titolo

Gearbox Reliability Collaborative analysis round robin [[electronic resource] ] : preprint / / F. Oyague, C.P. Butterfield, and S. Sheng

Pubbl/distr/stampa

[Golden, CO] : , : National Renewable Energy Laboratory, U.S. Dept. of Energy, Office of Energy Efficiency and Renewable Energy, , [2009]

Edizione

[Rev.]

Descrizione fisica

1 online resource (v, 17 pages) : illustrations

Collana

Conference paper ; ; NREL/CP-500-45325

Altri autori (Persone)

ButterfieldC. P (Charles P.)

ShengS (Shuangwen)

Soggetti

Wind turbines - United States - Aerodynamics - Analysis

Gearing - United States - Analysis

Conference papers and proceedings.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Title from PDF title screen (viewed Oct. 21, 2009).

"To be presented at the American Wind Energy Association WINDPOWER 2009 Conference, Chicago, Illinois, May 4 - 7, 2009."

"May 2009."

This document was revised to list an additional author (C.P. Butterfield) on the cover and report documentation page (last page) only. No other changes were made.

Nota di bibliografia

Includes bibliographical references (page 17).