Industrial applications of formal methods to model, design and analyze computer systems an international survey
| Huvudupphovsman: | |
|---|---|
| Övriga upphovsmän: | , |
| Materialtyp: | Bok |
| Språk: | English |
| Publicerad: |
Park Ridge, N.J.
Noyes Data Corp.
c1995.
|
| Ämnen: | |
| Länkar: | Also available online for University of the Philippines Diliman via ScienceDirect. Click here to access |