Matches in Library of Congress for { <http://lccn.loc.gov/96005720> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 96005720 contributor B7742332.
- 96005720 created "c1996.".
- 96005720 date "1996".
- 96005720 date "c1996.".
- 96005720 dateCopyrighted "c1996.".
- 96005720 description "Includes bibliographical references and index.".
- 96005720 extent "xvii, 271 p. :".
- 96005720 identifier "0471958352 (acid-free paper)".
- 96005720 isPartOf "Trends in software ; 5".
- 96005720 issued "1996".
- 96005720 issued "c1996.".
- 96005720 language "eng".
- 96005720 publisher "Chichester ; New York : John Wiley,".
- 96005720 subject "005.2 20".
- 96005720 subject "Formal methods (Computer science)".
- 96005720 subject "QA76.54 .F64 1996".
- 96005720 subject "Real-time data processing.".
- 96005720 title "Formal methods for real-time computing / edited by Constance Heitmeyer and Dino Mandrioli.".
- 96005720 type "text".