Cover Image

Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings /

Show other versions (2)
Bibliographic Details
Corporate Authors: International Conference on Integrated Formal Methods Turku, Finland, SpringerLink (Online service)
Other Authors: Butler, Michael, 1967-, Petre, Luigia, 1974-, Sere, K. (Kaisa), 1954-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2002]
Series:Lecture notes in computer science. 2335.
Subjects:
Logisch programmeren.
Formal methods (Computer science) > Congresses.
Méthodes formelles (Informatique) > Congrès.
Electronic books.
Online Access:Connect to the full text of this electronic book
Publisher description

Internet

Connect to the full text of this electronic book
Publisher description

Available Online

Holdings details from Available Online
Call Number: QA76.9.F67 I58 2002eb
 
Call Number Status Get It
QA76.9.F67 I58 2002eb Available