Matches in Library of Congress for { <http://lccn.loc.gov/2003058587> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2003058587 contributor B9549734.
- 2003058587 contributor B9549735.
- 2003058587 created "2003.".
- 2003058587 date "2003".
- 2003058587 date "2003.".
- 2003058587 dateCopyrighted "2003.".
- 2003058587 description "Includes bibliographical references.".
- 2003058587 extent "xvii, 942 p. :".
- 2003058587 identifier "3540408282 (softcover : alk. paper)".
- 2003058587 isPartOf "Lecture notes in computer science, 0302-9743 ; 2805".
- 2003058587 issued "2003".
- 2003058587 issued "2003.".
- 2003058587 language "eng".
- 2003058587 publisher "Berlin ; New York : Springer-Verlag,".
- 2003058587 subject "005.1 22".
- 2003058587 subject "Computer software Development Congresses.".
- 2003058587 subject "Formal methods (Computer science) Congresses.".
- 2003058587 subject "QA76.76.D47 I593 2003".
- 2003058587 subject "System design Mathematics Congresses.".
- 2003058587 title "FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings / Keijiro Araki, Stefania Gnesi, Dino Mandrioli, eds.".
- 2003058587 type "text".