Matches in Library of Congress for { <http://lccn.loc.gov/2006934465> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- 2006934465 alternative "8th International Conference on Formal Engineering Methods".
- 2006934465 alternative "Eighth International Conference on Formal Engineering Methods".
- 2006934465 alternative "ICFEM 2006".
- 2006934465 alternative "International Conference on Formal Engineering Methods".
- 2006934465 contributor B10744042.
- 2006934465 contributor B10744043.
- 2006934465 created "c2006.".
- 2006934465 date "2006".
- 2006934465 date "c2006.".
- 2006934465 dateCopyrighted "c2006.".
- 2006934465 description "Includes bibliographical references and index.".
- 2006934465 extent "xii, 778 p. :".
- 2006934465 identifier "3540474609 (pbk.)".
- 2006934465 identifier "9783540474609 (pbk.)".
- 2006934465 identifier 2006934465-d.html.
- 2006934465 isPartOf "Lecture notes in computer science, 0302-9743 ; 4260".
- 2006934465 issued "2006".
- 2006934465 issued "c2006.".
- 2006934465 language "eng".
- 2006934465 publisher "Berlin ; New York : Springer,".
- 2006934465 subject "005.13/1 22".
- 2006934465 subject "Formal methods (Computer science) Congresses.".
- 2006934465 subject "QA76.9.F67 I5788 2006".
- 2006934465 subject "Software engineering Congresses.".
- 2006934465 title "8th International Conference on Formal Engineering Methods".
- 2006934465 title "Eighth International Conference on Formal Engineering Methods".
- 2006934465 title "Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings / Zhiming Liu, Jifeng He (eds.).".
- 2006934465 title "ICFEM 2006".
- 2006934465 title "International Conference on Formal Engineering Methods".
- 2006934465 type "text".