Matches in Library of Congress for { <http://lccn.loc.gov/2006296088> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- 2006296088 alternative "Formal Methods for Industrial Critical Systems".
- 2006296088 alternative "Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems.".
- 2006296088 alternative "Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems".
- 2006296088 contributor B10494873.
- 2006296088 contributor B10494874.
- 2006296088 contributor B10494875.
- 2006296088 contributor B10494876.
- 2006296088 created "c2005.".
- 2006296088 date "2005".
- 2006296088 date "c2005.".
- 2006296088 dateCopyrighted "c2005.".
- 2006296088 description "Includes bibliographic references and author index.".
- 2006296088 extent "viii, 144 p. :".
- 2006296088 hasFormat "Also issued online with additional title: Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems.".
- 2006296088 identifier "1595931481".
- 2006296088 identifier toc.cfm?id=1081180&coll=portal&dl=ACM&type=proceeding&idx=SERIES364&part=Proceedings&WantType=Proceedings&title=Foundations%20of%20Software%20Engineering.
- 2006296088 identifier 2006296088.html.
- 2006296088 isFormatOf "Also issued online with additional title: Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems.".
- 2006296088 issued "2005".
- 2006296088 issued "c2005.".
- 2006296088 language "eng".
- 2006296088 publisher "New York : Association for Computing Machinery,".
- 2006296088 relation "Also issued online with additional title: Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems.".
- 2006296088 subject "005.13/1 22".
- 2006296088 subject "Formal methods (Computer science) Congresses.".
- 2006296088 subject "QA76.9.F67 I594 2005".
- 2006296088 title "FMICS '05 : proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05 / editors, Tiziana Margaria & Mieke Massink ; sponsored by ACM SIGSOFT.".
- 2006296088 title "Formal Methods for Industrial Critical Systems".
- 2006296088 title "Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems".
- 2006296088 type "text".