Matches in Library of Congress for { <http://lccn.loc.gov/2011936880> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2011936880 contributor B12421719.
- 2011936880 contributor B12421720.
- 2011936880 created "c2011.".
- 2011936880 date "2011".
- 2011936880 date "c2011.".
- 2011936880 dateCopyrighted "c2011.".
- 2011936880 description "Includes bibliographical references and author index.".
- 2011936880 extent "x, 259 p. :".
- 2011936880 identifier "9783642244308 (pbk. : alk. paper)".
- 2011936880 isPartOf "LNCS sublibrary: SL 2-programming and software engineering".
- 2011936880 isPartOf "Lecture notes in computer science, 0302-9743 ; 6959".
- 2011936880 issued "2011".
- 2011936880 issued "c2011.".
- 2011936880 language "eng".
- 2011936880 publisher "Berlin ; New York : Springer,".
- 2011936880 subject "Computer programs Reliability Congresses.".
- 2011936880 subject "Computer programs Verification Congresses.".
- 2011936880 subject "Computer software Verification Congresses.".
- 2011936880 subject "Formal methods (Computer science) Congresses.".
- 2011936880 subject "QA76.9.F67 I594 2011".
- 2011936880 subject "Software engineering Congresses.".
- 2011936880 title "Formal methods for industrial critical systems : 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings / Gwen Salaün, Bernhard Schätz (eds.).".
- 2011936880 type "text".