Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings

Author/creator Cerioli, Maura Contribution by
Format Electronic
Publication InfoNew York : Springer
Descriptionxiii, 373 p. ill 23.500 x 015.500 cm.
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects

SeriesLecture Notes in Computer Science Ser. Vol. 3442
Summary Annotation This book constitutes the refereed proceedings of the 8th International Conference on Fundamental Approaches to Software Engineering, FASE 2005, held in Edinburgh, UK in April 2005 as part of ETAPS.The 25 revised full papers presented together with an invited paper were carefully reviewed and selected from 105 submissions. The papers are organized in topical sections on Web services, graph grammars and graph transformations, components, product lines, theory, code understanding and validation, UML, and automatic proofs and provers.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2005922879
ISBN9783540254201
ISBN354025420X (Trade Paper) Active Record
Standard identifier# 9783540254201
Stock number354025420X 00024965

Availability

Library Location Call Number Status Item Actions
Electronic Resources Access Content Online ✔ Available