Advances in Computing Science - ASIAN'99
| ISBN: | 9783540668565 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 408 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Thiagarajan, P.S. Yap, Roland |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 29.11.1999 |
| Untertitel: | 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings |
| Schlagworte: | Computer Aided Verification Distributed Systems Formal Methods Mobile Computing Multimedia Real-Time Systems Theoretical Computer Science algorithm formal method formal verification |