Matches in Library of Congress for { <http://lccn.loc.gov/95037143> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 95037143 contributor B7482879.
- 95037143 contributor B7482880.
- 95037143 contributor B7482881.
- 95037143 created "c1995.".
- 95037143 date "1995".
- 95037143 date "c1995.".
- 95037143 dateCopyrighted "c1995.".
- 95037143 description "Includes bibliographical references and index.".
- 95037143 extent "ix, 431 p. :".
- 95037143 identifier "186094003X".
- 95037143 issued "1995".
- 95037143 issued "c1995.".
- 95037143 language "eng".
- 95037143 publisher "London : Imperial College Press ; Singapore ; River Edge, NJ : Distributed by World Scientific,".
- 95037143 subject "005.1/01/5113 20".
- 95037143 subject "Computer science Congresses.".
- 95037143 subject "Formal methods (Computer science) Congresses.".
- 95037143 subject "QA75.5 .T525 1995".
- 95037143 title "Theory and formal methods of computing 94 : proceedings of the Second Imperial College Workshop / editors, C. Hankin, I. Mackie, R. Nagarajan.".
- 95037143 type "text".