Foundations of Software Science and Computation Structures : 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Lecture Notes in Computer Science 2987 -- Foundations of Software Science and Computation Structures -- Copyright -- Foreword -- Preface -- Table of Contents -- Intruder Theories (Ongoing Work) -- Theories for the Global Ubiquitous Computer -- Choice in Dynamic Linking -- Soft lambda-Calculus: A Lan...

Full description

Bibliographic Details
Main Author: Goos, Gerhard (Author)
Other Involved Persons: Hartmanis, Juris (Contributor) ; van Leeuwen, Jan (Contributor)
Format: eBook
Published: Berlin/Heidelberg : Springer Berlin Heidelberg 2004
Edition:1st ed.
Item Description:Description based on publisher supplied metadata and other sources
Physical Description:1 online resource (542 pages)
Other Editions:Show all 2 Editions
QR Code: Show QR Code