Matches in Library of Congress for { <http://lccn.loc.gov/87004717> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 87004717 alternative "VDM, a formal method at work.".
- 87004717 contributor B5382349.
- 87004717 contributor B5382350.
- 87004717 contributor B5382351.
- 87004717 created "c1987.".
- 87004717 date "1987".
- 87004717 date "c1987.".
- 87004717 dateCopyrighted "c1987.".
- 87004717 description "Includes bibliographies.".
- 87004717 extent "ix, 422 p. :".
- 87004717 identifier "0387176543 (U.S. : pbk.)".
- 87004717 isPartOf "Lecture notes in computer science ; 252".
- 87004717 issued "1987".
- 87004717 issued "c1987.".
- 87004717 language "eng".
- 87004717 publisher "Berlin ; New York : Springer-Verlag,".
- 87004717 spatial "European Economic Community countries".
- 87004717 subject "005.1 19".
- 87004717 subject "Computer software Development Congresses.".
- 87004717 subject "Computer software industry European Economic Community countries Congresses.".
- 87004717 subject "QA76.76.D47 V85 1987".
- 87004717 title "VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings / edited by D. Bjørner ... [et al.].".
- 87004717 type "text".