Matches in Library of Congress for { <http://lccn.loc.gov/2010929258> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items per page.
- 2010929258 contributor B12090520.
- 2010929258 contributor B12090521.
- 2010929258 coverage "Málaga <2010> swd".
- 2010929258 created "2010.".
- 2010929258 date "2010".
- 2010929258 date "2010.".
- 2010929258 dateCopyrighted "2010.".
- 2010929258 description "Includes bibliographical references and index.".
- 2010929258 extent "x, 182 p. :".
- 2010929258 identifier "3642139760 (pbk.)".
- 2010929258 identifier "9783642139765 (pbk.)".
- 2010929258 isPartOf "LNCS sublibrary. SL 2, Programming and software engineering".
- 2010929258 isPartOf "LNCS sublibrary. SL 2, Programming and software engineering.".
- 2010929258 isPartOf "Lecture notes in computer science ; 6143.".
- 2010929258 isPartOf "Lecture notes in computer science, 0302-9743 ; 6143".
- 2010929258 issued "2010".
- 2010929258 issued "2010.".
- 2010929258 language "eng".
- 2010929258 publisher "Berlin : Springer,".
- 2010929258 spatial "Málaga <2010> swd".
- 2010929258 subject "005.14 DDC22ger".
- 2010929258 subject "Beweis swd".
- 2010929258 subject "Computer software Quality control Congresses.".
- 2010929258 subject "Computer software Reliability Congresses.".
- 2010929258 subject "Computer software Testing Congresses.".
- 2010929258 subject "Formale Methode swd".
- 2010929258 subject "Model Checking swd".
- 2010929258 subject "Programmtest swd".
- 2010929258 subject "QA76.76.T48 T37 2010".
- 2010929258 subject "Softwareentwicklung swd".
- 2010929258 subject "Softwaresystem swd".
- 2010929258 title "Tests and proofs : 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings / Gordon Fraser, Angelo Gargantini (eds.).".
- 2010929258 type "text".