Foundations of software science and computational structures
Subtitle: 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings
By: Helmut Seidl (ed.).
Contributors: ETAPS 2007 (2007 : Braga, Portugal)
Series: Lecture notes in computer science -- 4423
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 377
ISBN-13: 9783540713883
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 2007
Notes: International conference proceedings.

Includes bibliographical references and index.