Matches in Library of Congress for { <http://lccn.loc.gov/96007194> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 96007194 alternative "Industrial benefit and advances in formal methods".
- 96007194 contributor B7743905.
- 96007194 contributor B7743906.
- 96007194 created "c1996.".
- 96007194 date "1996".
- 96007194 date "c1996.".
- 96007194 dateCopyrighted "c1996.".
- 96007194 description "Includes bibliographical references and index.".
- 96007194 extent "xii, 704 p. :".
- 96007194 identifier "3540609733 (Berlin : acid-free paper)".
- 96007194 identifier 96007194-d.html.
- 96007194 isPartOf "Lecture notes in computer science ; 1051".
- 96007194 issued "1996".
- 96007194 issued "c1996.".
- 96007194 language "eng".
- 96007194 publisher "Berlin ; New York : Springer,".
- 96007194 subject "005.1/01/5113 20".
- 96007194 subject "Computer software Development Congresses.".
- 96007194 subject "QA76.76.D47 I593 1996".
- 96007194 title "FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings / Marie-Claude Gaudel, James Woodcock, eds.".
- 96007194 title "Industrial benefit and advances in formal methods".
- 96007194 type "text".