Matches in Library of Congress for { <http://lccn.loc.gov/99029060> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 99029060 contributor B8650894.
- 99029060 contributor B8650895.
- 99029060 created "c1999.".
- 99029060 date "1999".
- 99029060 date "c1999.".
- 99029060 dateCopyrighted "c1999.".
- 99029060 description "Includes bibliographical references.".
- 99029060 extent "xiv, 476 p.;".
- 99029060 identifier "1852331070 (alk. paper)".
- 99029060 issued "1999".
- 99029060 issued "c1999.".
- 99029060 language "eng".
- 99029060 publisher "London ; New York : Springer,".
- 99029060 subject "004/.01/51 21".
- 99029060 subject "Formal methods (Computer science) Congresses.".
- 99029060 subject "QA76.9.F67 I58 1999".
- 99029060 title "IFM '99 : proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 / Keijiro Araki, Andy Galloway, and Kenji Taguchi (eds.)".
- 99029060 type "text".