Isbn: 9783540665878 - fm'99 - formal methods: world congress on formal methods in the developement of computing systems, toulouse, france, september 20-24, 1999, ... notes in computer science, 1708, band 1708) (2 Ergebnisse)

Zustand: New. In English.

Zustand: New. 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 systems develo.