Matches in Library of Congress for { <http://lccn.loc.gov/93003605> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 93003605 alternative "Formal Methods Europe '93.".
- 93003605 contributor B6893787.
- 93003605 contributor B6893788.
- 93003605 created "c1993.".
- 93003605 date "1993".
- 93003605 date "c1993.".
- 93003605 dateCopyrighted "c1993.".
- 93003605 description "Includes bibliographical references.".
- 93003605 extent "xi, 689 p. :".
- 93003605 identifier "0387566627 (New York : acid-free paper)".
- 93003605 identifier "3540566627 (Berlin : acid-free paper)".
- 93003605 identifier 93003605-d.html.
- 93003605 isPartOf "Lecture notes in computer science ; 670".
- 93003605 issued "1993".
- 93003605 issued "c1993.".
- 93003605 language "eng".
- 93003605 publisher "Berlin ; New York : Springer-Verlag,".
- 93003605 subject "005.13/1 20".
- 93003605 subject "Computer software Development Congresses.".
- 93003605 subject "QA76.76.D47 I593 1993".
- 93003605 title "FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings / J.C.P. Woodcock, P.G. Larsen, eds.".
- 93003605 type "text".