Matches in Library of Congress for { <http://lccn.loc.gov/94025111> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 94025111 alternative "Industrial benefit of formal methods".
- 94025111 contributor B7186844.
- 94025111 contributor B7186845.
- 94025111 created "c1994.".
- 94025111 date "1994".
- 94025111 date "c1994.".
- 94025111 dateCopyrighted "c1994.".
- 94025111 extent "xi, 723 p. :".
- 94025111 identifier "0387585559 (acid-free paper)".
- 94025111 isPartOf "Lecture notes in computer science ; 873".
- 94025111 issued "1994".
- 94025111 issued "c1994.".
- 94025111 language "eng".
- 94025111 publisher "Berlin ; New York : Springer-Verlag,".
- 94025111 subject "005.1/01/5113 20".
- 94025111 subject "Computer software Development Congresses.".
- 94025111 subject "QA76.76.D47 I593 1994".
- 94025111 title "FME '94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran, eds.".
- 94025111 title "Industrial benefit of formal methods".
- 94025111 type "text".