Treffer: Formal methods
Titel:
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.)
Teil:
1.
Verantwortlich:
Körperschaft:
Veröffentlicht:
Berlin [u.a.] : Springer, 1999
Umfang:
XVIII, 937 S.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
RVK-Notation:
ISBN:
3540665870