Theoretical Aspects of Computing - ICTAC 2009 (eBook, PDF)
eBook, PDF

Theoretical Aspects of Computing - ICTAC 2009 (eBook, PDF)

6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings

Redaktion: Leucker, Martin; Morgan, Charles Carroll
Versandkostenfrei!
Sofort per Download lieferbar
40,95 €
inkl. MwSt.
Alle Infos zum eBook verschenken
Weitere Ausgaben:
PAYBACK Punkte
20 °P sammeln!
This book constitutes the refereed proceedings of the 6th International Colloquium on Theoretical Aspects of Computing, ICTAC 2009 held in Kuala Lumpur, Malaysia, in August 2009.The 17 revised full papers and 3 revised papers presented with 4 invited lectures were carefully reviewed and selected from 81 submissions. The papers address all theoretical aspects and methodological issues of computing, such as software specification, refinement, verification and testing, model checking and theorem proving, software architectures, coordination and feature interaction, integration of theories, formal...

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.