Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008274313/catalog> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- catalog alternative "Formal methods".
- catalog contributor b11512083.
- catalog contributor b11512084.
- catalog contributor b11512085.
- catalog contributor b11512086.
- catalog created "1999.".
- catalog date "1999".
- catalog date "1999.".
- catalog dateCopyrighted "1999.".
- catalog description "Includes bibliographical references and index.".
- catalog extent "2 v. :".
- catalog identifier "3540665870 (v. 1 : softcover : alk. paper)".
- catalog identifier "3540665889 (v. 2 : softcover : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 1708-1709".
- catalog issued "1999".
- catalog issued "1999.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "005.13/1 21".
- catalog subject "Application software Development Congresses.".
- catalog subject "Formal methods (Computer science) Congresses.".
- catalog subject "QA76.9.F67 W67 1999".
- catalog 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.).".
- catalog title "Formal methods".
- catalog type "text".