Formal methods, 2: proceedings
Berlin [u.a.]: Springer, 1999
Konferenzschrift, Sammelwerk, Teil eines Werkes, keine Angabe
- XVIII, S. 940 - 1875 : Ill., graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Formal methods, 2: proceedings
|
---|---|
Verantwortlichkeitsangabe: | FM '99, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999. Jeannette M. Wing ... (ed.) |
Autor/in / Beteiligte Person: | Wing, Jeannette Marie (1956-) |
Körperschaft: | FM |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 1999 |
Medientyp: | Konferenzschrift, Sammelwerk, Teil eines Werkes |
Datenträgertyp: | keine Angabe |
Umfang: | XVIII, S. 940 - 1875 : Ill., graph. Darst. |
ISBN: | 3540665889 brosch. : DM 158.00 |
Schlagwort: |
|
Sonstiges: |
|