Foundations of software science and computation structures
Subtitle: 8th international conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
By: Vladimiro Sassone (ed.).
Contributors: Sassone, Vladimiro.; ETAPS 2005 (2005 : Edinburgh, Scotland)
Series: Lecture notes in computer science -- 3441.
Publisher: Springer
Published: 2005
Place of publication: Berlin; New York
Language: eng
Number of pages: 519
Subjects: Computer software -- Congresses.; System analysis -- Congresses.
Genres: Congresses.
Other titles: FOSSACS 2005.; Joint European Conferences on Theory and Practice of Software.; ETAPS 2005.