Matches in Library of Congress for { <http://lccn.loc.gov/2013943016> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- 2013943016 contributor B12831625.
- 2013943016 date "2013".
- 2013943016 description "Includes bibliographical references and index.".
- 2013943016 extent "279 pages :".
- 2013943016 identifier "3642396100 (soft cover : alk. paper)".
- 2013943016 identifier "9783642396106 (soft cover : alk. paper)".
- 2013943016 isPartOf "Lecture notes in computer science ; 7857".
- 2013943016 issued "2013".
- 2013943016 language "eng".
- 2013943016 subject "Computer programs Verification Congresses.".
- 2013943016 subject "QA76.76.V47 I58 2013".
- 2013943016 title "Hardware and software : verification and testing / [edited by] Armin Biere, Amir Nahir, Tanja Vos.".
- 2013943016 type "text".