Matches in Library of Congress for { <http://lccn.loc.gov/2011434564> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items per page.
- 2011434564 contributor B12306421.
- 2011434564 created "2010.".
- 2011434564 date "2010".
- 2011434564 date "2010.".
- 2011434564 dateCopyrighted "2010.".
- 2011434564 description "Includes bibliographical references (p. 4).".
- 2011434564 extent "4 p. ;".
- 2011434564 isPartOf "Programming science technical report = Sanpu kagaku kenkyū sokuhō ; AIST-PS-2010-007".
- 2011434564 issued "2010".
- 2011434564 issued "2010.".
- 2011434564 language "eng".
- 2011434564 publisher "Amagasaki : Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology,".
- 2011434564 subject "QA76.66 .T35 2010".
- 2011434564 subject "Systems programming (Computer science)".
- 2011434564 type "text".