Foundations of Software Science and Computation Structures : Second International Conference, FOSSACS'99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99 Amsterdam, The Netherlands,March 22-28, 1999 Proceedings

Lecture Notes in Computer Science -- Foundations of Software Science and Computation Structures -- Copyright -- Preface -- List of Referees -- Foreword -- Table of Contents -- Security Protocols and Specifications -- An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis -- Reasoning a...

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 1999
Edition:1st ed.
Item Description:Description based on publisher supplied metadata and other sources
Physical Description:1 online resource (333 pages)
Other Editions:Show all 2 Editions
QR Code: Show QR Code