SOFSEM 2009: Theory and Practice of Computer Science

SOFSEM 2009: Theory and Practice of Computer Science

4.11 - 1251 ratings - Source

This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Anpindleruv MlA½n, Czech Republic, in January 2009. The 49 revised full papers, presented together with 9 invited contributions, were carefully reviewed and selected from 132 submissions. SOFSEM 2009 was organized around the following four tracks: Foundations of Computer Science; Theory and Practice of Software Services; Game Theoretic Aspects of E-commerce; and Techniques and Tools for Formal Verification.Based on the formal definition of context and context calculus [21] we have developed a context tool kit, which can be used as a plug ... In: Formal Aspects of Component Software (FACS 2007) (September 2007), http://users.encs.ˆ¼ms moham/FACS07.pdf 4. Ankolenkar, A. ... Baker, P., Bristow, P., et al.

Title:SOFSEM 2009: Theory and Practice of Computer Science
Author:Mogens Nielsen, Antonin Kucera, Peter Bro Miltersen
Publisher:Springer Science & Business Media - 2009-01-12


You Must CONTINUE and create a free account to access unlimited downloads & streaming