http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
World Congress on Formal Methods in the Development of Computing Systems (1999 : Toulouse, France)
2 volumes (xviii, 1875 pages) : illustrations ; 24 cm.
Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.).
Includes bibliographical references and indexes.
Lecture notes in computer science. 1708-1709
3540665870 (v. 1 : softcover : alk. paper)
3540665889 (v. 2 : softcover : alk. paper)