Formal methods, 1: proceedings
Berlin [u.a.]: Springer, 1999
Sammelwerk, Teil eines Werkes, keine Angabe
- XVIII, 937 S. : Ill., graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Formal methods, 1: 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: | Sammelwerk, Teil eines Werkes |
Datenträgertyp: | keine Angabe |
Umfang: | XVIII, 937 S. : Ill., graph. Darst. |
ISBN: | 3540665870 |
Sonstiges: |
|