Matches in Library of Congress for { <http://lccn.loc.gov/2011921311> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2011921311 contributor B12413171.
- 2011921311 contributor B12413172.
- 2011921311 created "c2011.".
- 2011921311 date "2011".
- 2011921311 date "c2011.".
- 2011921311 dateCopyrighted "c2011.".
- 2011921311 description "Includes bibliographical references and author index.".
- 2011921311 extent "xi, 256 p. :".
- 2011921311 identifier "3642142605".
- 2011921311 identifier "9783642142604".
- 2011921311 identifier 2011921311-d.html.
- 2011921311 identifier 2011921311-t.html.
- 2011921311 issued "2011".
- 2011921311 issued "c2011.".
- 2011921311 language "eng".
- 2011921311 publisher "Heidelberg ; New York : Springer,".
- 2011921311 subject "Formal methods (Computer science) Congresses.".
- 2011921311 subject "System safety Congresses.".
- 2011921311 subject "TA1005 .S97 2011".
- 2011921311 subject "Transportation Safety measures Data processing Congresses.".
- 2011921311 title "FORMS/FORMAT 2010 : formal methods for automation and safety in railway and automotive systems / Eckehard Schnieder, Géza Tarnai, editors.".
- 2011921311 type "text".