Proceedings of FMSP '00 : the third Workshop on Formal Methods in Software Practice : August 24-25, 2000, Portland, Oregon, USA /
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | |
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
New York :
Association for Computing Machinery,
c2000
|
| Témata: |
| Fyzický popis: | vii, 112 s. |
|---|---|
| ISBN: | 1-58113-262-X |