Static Analysis
. Ed(s): Yahav, Eran
ISBN 10: 3642237010 ISBN 13: 9783642237010
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011
Neu
Softcover
Verkäufer
Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 9. Oktober 2009
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Editor(s): Yahav, Eran. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 399 pages, biography. BIC Classification: UGK; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 611. . 2011. Paperback. . . . . Books ship from the US and Ireland. Bestandsnummer des Verkäufers V9783642237010
Inhaltsangabe:
This book constitutes the refereed proceedings of the 18th International Symposium on Static Analysis, SAS 2011, held in Venice, Italy, in September 2011. The 22 revised full papers were selected from 67 submissions. Also included in this volume are the abstracts of the invited talks that were given at the symposium by renowned experts in the field. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, data flow analysis, bug detection, program transformation, program verification, security analysis and type checking.
Von der hinteren Coverseite:
This book constitutes the refereed proceedings of the 18th International Symposium on Static Analysis, SAS 2011, held in Venice, Italy, in September 2011.
The 22 revised full papers were selected from 67 submissions. Also included in this volume are the abstracts of the invited talks that were given at the symposium by renowned experts in the field. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, data flow analysis, bug detection, program transformation, program verification, security analysis and type checking.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Static Analysis
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Erscheinungsdatum: 2011
Einband: Softcover
Zustand: New