Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Herzlich Willkommen!
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