1.

Record Nr.

UNINA9910711188203321

Autore

Wallace Dolores R

Titolo

Proceedings of the workshop on high integrity software; Gaithersburg, MD; Jan. 22-23, 1991 / / Dolores R. Wallace, D. Richard Kuhn, John C. Cherniavsky

Pubbl/distr/stampa

Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 1991

Descrizione fisica

1 online resource

Collana

NIST special publication ; ; 500-190

Altri autori (Persone)

CherniavskyJohn C

KuhnD. Richard

WallaceDolores R

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

1991.

Contributed record: Metadata reviewed, not verified. Some fields updated by batch processes.

Title from PDF title page.

Nota di bibliografia

Includes bibliographical references.