Matches in Library of Congress for { <http://lccn.loc.gov/2005928720> ?p ?o. }
Showing items 1 to 35 of
35
with 100 items per page.
- 2005928720 alternative "FME".
- 2005928720 alternative "Formal methods 2005".
- 2005928720 alternative "Formal methods Europe".
- 2005928720 alternative "International Symposium of Formal Methods Europe".
- 2005928720 contributor B10397001.
- 2005928720 contributor B10397002.
- 2005928720 created "2005.".
- 2005928720 date "2005".
- 2005928720 date "2005.".
- 2005928720 dateCopyrighted "2005.".
- 2005928720 description "Includes bibliographical references and index.".
- 2005928720 extent "xiv, 558 p. :".
- 2005928720 hasFormat "Also issued online.".
- 2005928720 identifier "3540278826 (pbk.)".
- 2005928720 identifier "9783540278825".
- 2005928720 identifier openurl.asp?genre=issue&issn=0302-9743&volume=3582.
- 2005928720 identifier 2005928720-d.html.
- 2005928720 isFormatOf "Also issued online.".
- 2005928720 isPartOf "Lecture notes in computer science, 0302-9743 ; 3582".
- 2005928720 issued "2005".
- 2005928720 issued "2005.".
- 2005928720 language "eng".
- 2005928720 publisher "Berlin ; New York : Springer,".
- 2005928720 relation "Also issued online.".
- 2005928720 subject "004.13/1 22".
- 2005928720 subject "Computer software Development Congresses.".
- 2005928720 subject "Formal methods (Computer science) Congresses.".
- 2005928720 subject "QA76.76.D47 I593 2005".
- 2005928720 subject "System design Congresses.".
- 2005928720 title "FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings / John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.).".
- 2005928720 title "FME".
- 2005928720 title "Formal methods 2005".
- 2005928720 title "Formal methods Europe".
- 2005928720 title "International Symposium of Formal Methods Europe".
- 2005928720 type "text".