Result: Formal methods
Title:
Formal methods : proceedings / FM '99, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999 / Jeannette M. Wing ... (ed.)
Part:
2.
Responsible:
Corporation:
Published:
Berlin [u.a.] : Springer, 1999
Extent:
XVIII, 1875 S.
Format:
Language:
English
Series/ Mutipart item:
RVK-Notation:
ISBN:
3540665889