VIAF

Virtual International Authority File

Search

Parnas, David Wikipedia (en) ISNI-test

Parnas, David Lorge. NUKAT Center of Warsaw University Library Library of Congress/NACO

Parnas, D. L. (David Lorge) Library and Archives Canada

Parnas, David Lorge 1941- German National Library

Parnas, David L. National Library of France

Parnas, David L. (David Lorge) National Library of the Netherlands-test

Parnas, David Lodge. National Library of Poland

Parnas, D. L. German National Library

VIAF ID: 18153118 (Personal)

Permalink: http://viaf.org/viaf/18153118

ISNI-test: 0000  0000  7372  9733 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (7)

Open Section Close Section 5xx's: Related Names (1)

  • 551 _ _ ‎‡a  Pittsburgh <NY> German National Library

Open Section Close SectionWorks

Title Sources
Estimating software reliability using inverse sampling Library and Archives Canada
Formal documentation of well-structured programs Library and Archives Canada
Formally specifying a communications protocol using the trace assertion method Library and Archives Canada
Inspection procedures for critical programs that model physical phenomena Library and Archives Canada
Interface specifications for the SCR (A-7E) Extended computer module. D. L. Parnas. Library and Archives Canada
On the computational complexity of the maximum trade problem Library and Archives Canada
Podstawy oprogramowania : zbiór artykułów Davida L. Parnasa NUKAT Center of Warsaw University Library National Library of Poland
Precisely annotated hierarchical pictures of programs Library and Archives Canada
Predicate logic for software engineering Library and Archives Canada
SDI, two views of professional responsibility, 1987: Library of Congress/NACO Library and Archives Canada
Software fundamentals : collected papers by David L. Parnas National Library of the Netherlands-test NUKAT Center of Warsaw University Library National Library of France
Table transformation tools : why and how Library and Archives Canada
Tabular representations in relational documents Library and Archives Canada
Trace rewriting systems Library and Archives Canada

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section About

Open Section Close Section History of VIAF ID:18153118 (20)