FM '99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999; proceedings / Jeannette M. Wing ... (ed.)
Mitwirkende(r): Resource type: Ressourcentyp: GesamtaufnahmeGesamtaufnahmeSprache: Englisch Reihen: Lecture notes in computer science ; ...Bände: Zeige BändeVerlag: Berlin ; Heidelberg [u.a.] : Springer, 19XX-Schlagwörter: Genre/Form: RVK: RVK: SS 4800PPN: PPN: 1150591145Dieser Titel hat keine Exemplare