Industrial applications of formal methods to model, design and analyze computer systems an international survey
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Park Ridge, N.J.
Noyes Data Corp.
c1995.
|
| Schlagworte: | |
| Online-Zugang: | Also available online for University of the Philippines Diliman via ScienceDirect. Click here to access |