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, April 4-8, 2005 : proceedings
By: Vladimiro Sassone (ed.).
Contributors: Sassone, Vladimiro.; LINK (Online service); ETAPS 2005 (2005 : Edinburgh, Scotland)
Series: Lecture notes in computer science -- 3441.
Publisher: Springer
Published: 2005
Place of publication: Berlin
Language: eng
Format: Electronic resource
Number of pages: 519
Subjects: Computer software -- Congresses; System analysis -- Congresses
Genres: Congresses.
Notes: Title from title screen (viewed March 1, 2005)

Electronic book available via Springer Link.

Print version originally published in 2005.

Access restricted to subscribing institutions.

Print version also available.

Mode of access: World Wide Web.

System requirements: Adobe Acrobat required to view PDF document.