Paperback Book
Show unavailable items

Releases by World Congress on Formal Methods in the Development of Computing Systems

Cover for World Congress on Formal Methods in the Development of Computing Systems · Fm 99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings - Lecture Notes in Computer Science (Paperback Book) (1999)

Fm 99 - Formal Methods: World Co... (1999)

World Congress on Formal Methods...