Foundations of software science and computational structures
Subtitle: 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings
By: Roberto Amadio (ed.).
Contributors: Amadio, Roberto M.; ETAPS 2008 (2008 : Budapest, Hungary)
Series: Lecture notes in computer science -- 4962
Publisher: Springer
Published: 2008
Place of publication: Berlin; New York
Language: eng
Number of pages: 504
ISBN-13: 9783540784975
Subjects: System analysis -- Congresses
Genres: Congresses.
Other titles: Joint European Conferences on Theory and Practice of Software; European Joint Conferences on Theory and Practice of Software 2008
Notes: Includes bibliographical references and index.