Matches in Library of Congress for { <http://lccn.loc.gov/76380463> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 76380463 alternative "Proving and improving programs.".
- 76380463 contributor B2912900.
- 76380463 contributor B2912901.
- 76380463 created "1975.".
- 76380463 date "1975".
- 76380463 date "1975.".
- 76380463 dateCopyrighted "1975.".
- 76380463 description "Includes bibliographies.".
- 76380463 extent "476 p. :".
- 76380463 identifier "2726100635 :".
- 76380463 isPartOf "Colloques IRIA".
- 76380463 issued "1975".
- 76380463 issued "1975.".
- 76380463 language "eng".
- 76380463 language "engfre".
- 76380463 publisher "Rocquencourt : I.R.I.A.,".
- 76380463 subject "001.6/425".
- 76380463 subject "Computer programs Reliability Congresses.".
- 76380463 subject "Computer programs Testing Congresses.".
- 76380463 subject "Computer programs Verification Congresses.".
- 76380463 subject "QA76.6 .C652".
- 76380463 title "Construction, amélioration et vérification de programmes = Proving and improving programs / organisé par l'I.R.I.A., Institut de recherche d'informatique et d'automatique ... 1, 2, 3 juillet 1975, Arc-et-Senans ; edited by G. Huet, ... G. Kahn, ....".
- 76380463 type "text".