VIAF

Virtual International Authority File

Search

David Parnas Canadian software engineer ISNI Wikidata

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

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

Parnas, David Lodge National Library of Poland

VIAF ID: 18153118 (Personal)

Permalink: //viaf.org/viaf/18153118

ISNI: 0000  0000  7372  9733 

Open Section Close Section Preferred Forms

 

 

 

 

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

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 / pod red. Daniela M. Hoffmana i Davida M. Weissa. - Warszawa, 2003. 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 NUKAT Center of Warsaw University Library BIBSYS 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 and Regions of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section History of VIAF ID:18153118 (12)
http://viaf.org/viaf/18153118/
viaf.org
crawl=CC-MAIN-2017-34
97709
application/http; msgtype=response
sha1:SWCC34GTRNZSXTU52AQGO3OUSPUWVIQS
<urn:uuid:bcfd485d-a80c-4e5d-b865-497d0d7c32ca>
2017-08-17T14:03:22Z
132.174.3.3
application/xhtml+xml
sha1:7GZN2XLPOL7PANIUMI3J4PMUVEYQXEK4
<urn:uuid:7bba4141-1faf-4bef-8d6e-872be5a510c9>
http://viaf.org/viaf/18153118/
length
response
<urn:uuid:a0929687-b0c7-451a-b4a4-293f756e30ca>
robots: classic
hostname: ip-10-178-28-41.ec2.internal
software: Nutch 1.6 (CC)
isPartOf: CC-MAIN-2017-34
operator: Common Crawl Admin
description: Wide crawl of the web for August 2017
publisher: Common Crawl
format: WARC File Format 1.0
conformsTo: http://bibnum.bnf.fr/WARC/WARC_ISO_28500_version1_latestdraft.pdf