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.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.9.F67 W67 1999
Library Owns: QA76.9.F67 W67 1999 (v.1-2)
Call Number Status Get It
QA76.9.F67 W67 1999 v.1 Available
QA76.9.F67 W67 1999 v.2 Available