Matches in Library of Congress for { <http://lccn.loc.gov/93023655> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 93023655 contributor B6917333.
- 93023655 created "c1994.".
- 93023655 date "1994".
- 93023655 date "c1994.".
- 93023655 dateCopyrighted "c1994.".
- 93023655 description "Includes bibliographical references (p. [343]-345) and indexes.".
- 93023655 extent "xvi, 362 p. :".
- 93023655 identifier "038719813X (alk. paper) :".
- 93023655 isPartOf "Formal approaches to computing and information technology".
- 93023655 issued "1994".
- 93023655 issued "c1994.".
- 93023655 language "eng".
- 93023655 publisher "London ; New York : Springer-Verlag,".
- 93023655 subject "005.1/2 20".
- 93023655 subject "Automatic theorem proving.".
- 93023655 subject "Computer software Development.".
- 93023655 subject "QA76.76.D47 P776 1994".
- 93023655 subject "System design.".
- 93023655 title "Proof in VDM : a practitioner's guide / by Juan C. Bicarregui ... [et al.]".
- 93023655 type "text".