LNCS 2988_ Tools and Algorithms for the Construction and Analysis of Systems [Jensen & Podelski 2004-04-28].pdf

(5172 KB) Pobierz
Lecture Notes in Computer Science
Commenced Publication in 1973
Founding and Former Series Editors:
Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
6605
Editorial Board
David Hutchison, UK
Josef Kittler, UK
Alfred Kobsa, USA
John C. Mitchell, USA
Oscar Nierstrasz, Switzerland
Bernhard Steffen, Germany
Demetri Terzopoulos, USA
Gerhard Weikum, Germany
Takeo Kanade, USA
Jon M. Kleinberg, USA
Friedemann Mattern, Switzerland
Moni Naor, Israel
C. Pandu Rangan, India
Madhu Sudan, USA
Doug Tygar, USA
Advanced Research in Computing and Software Science
Subline of Lectures Notes in Computer Science
Subline Series Editors
Giorgio Ausiello,
University of Rome ‘La Sapienza’, Italy
Vladimiro Sassone,
University of Southampton, UK
Subline Advisory Board
Susanne Albers,
University of Freiburg, Germany
Benjamin C. Pierce,
University of Pennsylvania, USA
Bernhard Steffen,
University of Dortmund, Germany
Madhu Sudan,
Microsoft Research, Cambridge, MA, USA
Deng Xiaotie,
City University of Hong Kong
Jeannette M. Wing,
Carnegie Mellon University, Pittsburgh, PA, USA
Parosh Aziz Abdulla
K. Rustan M. Leino (Eds.)
Tools and Algorithms
for the Construction
and Analysis of Systems
17th International Conference, TACAS 2011
Held as Part of the Joint European Conferences
on Theory and Practice of Software, ETAPS 2011
Saarbrücken, Germany, March 26–April 3, 2011
Proceedings
13
Volume Editors
Parosh Aziz Abdulla
University of Uppsala
Dept. of Information Technology
751 05 Uppsala, Sweden
E-mail: parosh@it.uu.se
K. Rustan M. Leino
Microsoft Research
Redmond, WA 98052, USA
E-mail: leino@microsoft.com
ISSN 0302-9743
e-ISSN 1611-3349
ISBN 978-3-642-19834-2
e-ISBN 978-3-642-19835-9
DOI 10.1007/978-3-642-19835-9
Springer Heidelberg Dordrecht London New York
Library of Congress Control Number: 2011922620
CR Subject Classification (1998): F.3, D.2, C.2, D.3, D.2.4, C.3
LNCS Sublibrary: SL 1 – Theoretical Computer Science and General Issues
© Springer-Verlag Berlin Heidelberg 2011
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is
concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting,
reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication
or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965,
in its current version, and permission for use must always be obtained from Springer. Violations are liable
to prosecution under the German Copyright Law.
The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply,
even in the absence of a specific statement, that such names are exempt from the relevant protective laws
and regulations and therefore free for general use.
Typesetting:
Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India
Printed on acid-free paper
Springer is part of Springer Science+Business Media (www.springer.com)

Plik z chomika:

Inne pliki z tego folderu:

Inne foldery tego chomika:

Zgłoś jeśli naruszono regulamin