Matches in Library of Congress for { <http://lccn.loc.gov/2004050410> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2004050410 contributor B9854350.
- 2004050410 created "2005.".
- 2004050410 date "2005".
- 2004050410 date "2005.".
- 2004050410 dateCopyrighted "2005.".
- 2004050410 description "Includes bibliographical references (p. [501]-502) and index.".
- 2004050410 extent "xxi, 509 p. :".
- 2004050410 identifier "1852338202 (alk. paper)".
- 2004050410 identifier 2004050410-d.html.
- 2004050410 identifier 2004050410-t.html.
- 2004050410 isPartOf "Formal approaches to computing and information technology".
- 2004050410 issued "2005".
- 2004050410 issued "2005.".
- 2004050410 language "eng".
- 2004050410 publisher "New York : Springer,".
- 2004050410 subject "005.1 22".
- 2004050410 subject "Computer software Development.".
- 2004050410 subject "Formal methods (Computer science)".
- 2004050410 subject "QA76.76.D47 C666 2005".
- 2004050410 title "Constructing correct software / John Cooke.".
- 2004050410 type "text".