Matches in Library of Congress for { <http://lccn.loc.gov/99049628> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 99049628 alternative "Formal methods".
- 99049628 contributor B8673764.
- 99049628 contributor B8673765.
- 99049628 created "1999-< >".
- 99049628 date "1999".
- 99049628 date "1999-< >".
- 99049628 dateCopyrighted "1999-< >".
- 99049628 description "Includes bibliographical references and index.".
- 99049628 extent "2 v. (1875 p.) :".
- 99049628 identifier "3540665870 (v. 1 : softcover : alk. paper)".
- 99049628 identifier "3540665889 (v. 2 : softcover : alk. paper)".
- 99049628 identifier 99049628-d.html.
- 99049628 isPartOf "Lecture notes in computer science ; 1708-1709".
- 99049628 issued "1999".
- 99049628 issued "1999-< >".
- 99049628 language "eng".
- 99049628 publisher "Berlin ; New York : Springer,".
- 99049628 subject "005.13/1 21".
- 99049628 subject "Application software Development Congresses.".
- 99049628 subject "Formal methods (Computer science) Congresses.".
- 99049628 subject "QA76.9.F67 W67 1999".
- 99049628 title "FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings / Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.).".
- 99049628 title "Formal methods".
- 99049628 type "text".