Theoretical Aspects of Computing - ICTAC 2008
Broschiertes Buch

Theoretical Aspects of Computing - ICTAC 2008

5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings

Herausgegeben: Fitzgerald, John S.; Haxthausen, Anne E.; Yenigün, Hüsnü
Versandkostenfrei!
Versandfertig in 1-2 Wochen
39,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
20 °P sammeln!
Research on theoretical aspects of computing has a direct impact on the pr- tice of computer systems development. Over many decades, fundamental t- ories have emerged to describe functionality, temporal behavior and resource consumption. Theories of application domains are beginning to be exploited for modelling and analyzing intended computing systems before the expensive c- mitment is made to real programs and hardware. Recent years have seen major improvements in the cost-e?ectiveness of tools supporting the exploitation of theories through proof, model-checking and testing. Against this en...