Franklin

Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / Michael Butler, Luigia Petre, Kaisa Sere, eds.

Publication:
Berlin ; New York : Springer, c2002.
Conference Name:
International Conference on Integrated Formal Methods (3rd : 2002 : Turku, Finland)
Series:
Lecture notes in computer science, 0302-9743 ; 2335
Format/Description:
Conference/Event
Book
x, 399 p. : ill. ; 24 cm.
Subjects:
Formal methods (Computer science) -- Congresses.
Notes:
Includes bibliographical references and index.
Contributor:
Butler, Michael, 1967-
Petre, Luigia, 1974-
Sere, K. (Kaisa), 1954-
ISBN:
3540437037 (softcover : alk. paper)
OCLC:
49664487
Loading...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy