SOFSEM 2009: 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. ... Notes in Computer Science, 5404, Band 5404) - Softcover

Softcover

ISBN 10: 3540958908 ISBN 13: 9783540958901

Verlag: Springer, 2009

Inhaltsangabe

This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in spindleruv Mlý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.

Über diesen Titel

Von der hinteren Coverseite

This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Špindleruv Mlý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.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2009
• Sprache: Englisch
• ISBN 10: 3540958908
• ISBN 13: 9783540958901
• Einband: Taschenbuch
• Anzahl der Seiten: 692
• Herausgeber: Nielsen Mogens
• Kontakt zum Hersteller: ProductSafety@springernature.com; ProductSafety@springernature.com; ; Poststr. 9; Darmstadt; 64293; Deutschland