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 |