Matches in Library of Congress for { <http://lccn.loc.gov/97029213> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 97029213 contributor B8057622.
- 97029213 created "c1998.".
- 97029213 date "1998".
- 97029213 date "c1998.".
- 97029213 dateCopyrighted "c1998.".
- 97029213 description "Includes bibliographical references and index.".
- 97029213 extent "xiv, 226 p. :".
- 97029213 identifier "3540761861 (pbk. : alk. paper)".
- 97029213 isPartOf "Formal approaches to computing and information technology".
- 97029213 issued "1998".
- 97029213 issued "c1998.".
- 97029213 language "eng".
- 97029213 publisher "London ; New York : Springer-Verlag,".
- 97029213 subject "005.1/4 21".
- 97029213 subject "Automatic theorem proving.".
- 97029213 subject "Computer software Development Case studies.".
- 97029213 subject "QA76.76.D47 P775 1998".
- 97029213 title "Proof in VDM : case studies / J.C. Bicarregui (ed.) ; with contributions from Sten Agerholm ... [et al.].".
- 97029213 type "text".