FM'99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings / Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

FM'99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings / Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.) World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings / Vol.1.

Saved in:
Bibliographic Details
Corporate Author: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France
Other Authors: Wing, Jeannette M. (Jeannette Marie), Woodcock, J. C. P. (Jim C. P.), 1956-, Davies, Jim, 1964-
Format: Book
Language:English
Published: Berlin ; London : Springer 1999
Series:Lecture notes in computer science, 1708
Subjects:
Formal methods (Computer science) > Congresses
Tags: Add Tag
No Tags, Be the first to tag this record!
Login for hold information

Pilkington Library - Pilkington Main Collection

Shelfmark: 005.131/WOR
Copy [0402195779] Available

Similar Items