Matches in Library of Congress for { <http://lccn.loc.gov/95011111> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 95011111 contributor B7455957.
- 95011111 created "1995.".
- 95011111 date "1995".
- 95011111 date "1995.".
- 95011111 dateCopyrighted "1995.".
- 95011111 description "Includes bibliographical references (p. 421-437) and index.".
- 95011111 extent "xvii, 447 p. :".
- 95011111 identifier "0133669491 (alk. paper)".
- 95011111 isPartOf "Prentice-Hall international series in computer science".
- 95011111 issued "1995".
- 95011111 issued "1995.".
- 95011111 language "eng".
- 95011111 publisher "London ; New York : Prentice Hall,".
- 95011111 subject "620/.0042/015113 20".
- 95011111 subject "Computer software Development.".
- 95011111 subject "Formal methods (Computer science)".
- 95011111 subject "QA76.9.S88 A68 1995".
- 95011111 subject "System design.".
- 95011111 title "Applications of formal methods / edited by Michael G. Hinchey and Jonathan P. Bowen.".
- 95011111 type "text".