FM'99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings. Vol. 1.
World Congress on Formal Methods in the Development of Computing Systems (1 : 1999 Toulouse)
Bok Engelsk 1999
| Utgitt | Berlin : Springer , c1999
|
|---|---|
| Omfang | XVIII, 937 s.
|
| Emner | |
| ISBN | 3540665870
|
