SOFSEM 2009 : Theory and Practice of Computer Science : 35th Conference on Current Trends in Theory and Practice of Computer Science, ≤pindleruv Ml˛n, Czech Republic, January 24-30, 2009 : Proceedings

Intro -- Preface -- Conference Organization -- Table of Contents -- A New Analysis of Expected Revenue -- Can Component/Service-Based Systems Be Proved Correct? -- Probabilistic Acceptors for Languages over Infinite Words -- Automatic Verification of Heap Manipulation Using Separation Logic -- Techn...

Full description

Bibliographic Details
Main Author: Hutchison, David (Author)
Other Involved Persons: Kanade, Takeo (Contributor) ; Kittler, Josef (Contributor) ; Palamidessi, Catuscia (Contributor) ; Tuma, Peter (Contributor) ; Valencia, Frank (Contributor)
Format: eBook
Published: Berlin/Heidelberg : Springer Berlin Heidelberg 2009
Item Description:Description based on publisher supplied metadata and other sources
Physical Description:1 online resource (684 pages)
Other Editions:Show all 3 Editions
QR Code: Show QR Code