Matches in Library of Congress for { <http://lccn.loc.gov/93025444> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 93025444 contributor B6919466.
- 93025444 contributor B6919467.
- 93025444 contributor B6919468.
- 93025444 created "c1993.".
- 93025444 date "1993".
- 93025444 date "c1993.".
- 93025444 dateCopyrighted "c1993.".
- 93025444 description "Includes bibliographical references and index.".
- 93025444 extent "viii, 325 p. :".
- 93025444 identifier "0387198423 (New York : acid-free paper)".
- 93025444 identifier "3540198423 (Berlin : acid-free paper)".
- 93025444 isPartOf "Workshops in computing".
- 93025444 issued "1993".
- 93025444 issued "c1993.".
- 93025444 language "eng".
- 93025444 publisher "London ; New York : Springer-Verlag,".
- 93025444 subject "005.1/01/5113 20".
- 93025444 subject "Computer programming Congresses.".
- 93025444 subject "Formal methods (Computer science) Congresses.".
- 93025444 subject "QA76.6 .I4457 1993".
- 93025444 title "Theory and formal methods : proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 / Geoffrey Burn, Simon Gay, and Mark Ryan, eds.".
- 93025444 type "text".