Automated Technology for Verification and Analysis

Kedar Namjoshi

ISBN 10: 3540755950 / ISBN 13: 9783540755951

Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 2007, 2007

Beschreibung

Neuware -This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 584 pp. Englisch. Bestandsnummer des Verkäufers 9783540755951

Bibliografische Details

Titel: Automated Technology for Verification and ...

Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 2007

Erscheinungsdatum: 2007

Einband: Taschenbuch

Zustand: Neu

Über diesen Titel

Inhaltsangabe:

This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.