Matches in Library of Congress for { <http://lccn.loc.gov/97037056> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 97037056 alternative "Industrial applications and strengthened foundations of formal methods".
- 97037056 contributor B8066887.
- 97037056 contributor B8066888.
- 97037056 created "c1997.".
- 97037056 date "1997".
- 97037056 date "c1997.".
- 97037056 dateCopyrighted "c1997.".
- 97037056 description "Includes bibliographical references and index.".
- 97037056 extent "xiii, 684 p. :".
- 97037056 identifier "3540635335 (pbk. : alk. paper)".
- 97037056 identifier 97037056-d.html.
- 97037056 identifier 97037056-t.html.
- 97037056 isPartOf "Lecture notes in computer science, 0302-9743 ; 1313".
- 97037056 issued "1997".
- 97037056 issued "c1997.".
- 97037056 language "eng".
- 97037056 publisher "Berlin ; New York : Springer,".
- 97037056 subject "005.1/01/5113 21".
- 97037056 subject "QA76.9.S88 I577 1997".
- 97037056 subject "System design Methodology Congresses.".
- 97037056 title "FME '97, industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings / John Fitzgerald, Cliff B. Jones, Peter Lucas (eds.)".
- 97037056 title "Industrial applications and strengthened foundations of formal methods".
- 97037056 type "text".