Lecture Notes in Computer Science Fm 99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems Toulouse France Book 1708 (Paperback)

Lecture Notes in Computer Science Fm 99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems Toulouse France Book 1708 (Paperback)

Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of...


Walmart

$104.89
Free Delivery

Go to store
Items per page