Cover Image

FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings /

Bibliographic Details
Corporate Author: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France
Other Authors: Wing, Jeannette Marie, Woodcock, Jim, Davies, Jim, 1964-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [1999]
Series:Lecture notes in computer science. 1708-1709.
Subjects:
Formal methods (Computer science) > Congresses.
Application software > Development > Congresses.
Description
Physical Description:2 volumes (xviii, 1875 pages) : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and indexes.
ISBN:3540665870 (v. 1 : softcover : alk. paper)
3540665889 (v. 2 : softcover : alk. paper)
ISSN:0302-9743 ;