Matches in Library of Congress for { <http://lccn.loc.gov/93021317> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 93021317 contributor B6914875.
- 93021317 created "c1993.".
- 93021317 date "1993".
- 93021317 date "c1993.".
- 93021317 dateCopyrighted "c1993.".
- 93021317 extent "ix, 433 p. :".
- 93021317 identifier "038757316X (U.S.)".
- 93021317 identifier "354057316X :".
- 93021317 identifier 93021317-d.html.
- 93021317 isPartOf "Lecture notes in computer science ; 735".
- 93021317 issued "1993".
- 93021317 issued "c1993.".
- 93021317 language "eng".
- 93021317 publisher "Berlin ; New York : Springer-Verlag,".
- 93021317 subject "005.1 20".
- 93021317 subject "Computer programming.".
- 93021317 subject "Formal methods (Computer science)".
- 93021317 subject "QA76.6 .F577 1993".
- 93021317 title "Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin, eds.".
- 93021317 type "text".