Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings: 4762 (Lecture Notes in Computer Science) - Softcover
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Automated Technology for Verification and Analysis:...
Beispielbild für diese ISBN
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings (Lecture Notes in Computer Science, 4762)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020176417
Neu kaufen
EUR 53,50
Versand:
EUR 3,44
Innerhalb der USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings (Lecture Notes in Computer Science, 4762)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540755951_new
Neu kaufen
EUR 57,79
Versand:
EUR 13,63
Von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Automated Technology for Verification and Analysis
Verlag:
Springer Berlin Heidelberg Okt 2007, 2007
ISBN 10: 3540755950
ISBN 13: 9783540755951
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 584 pp. Englisch. Bestandsnummer des Verkäufers 9783540755951
Neu kaufen
EUR 53,49
Versand:
EUR 23,00
Von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Automated Technology for Verification and Analysis
Verlag:
Springer Berlin Heidelberg, 2007
ISBN 10: 3540755950
ISBN 13: 9783540755951
Neu
Kartoniert / Broschiert
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 achie. Bestandsnummer des Verkäufers 4900239
Neu kaufen
EUR 48,37
Versand:
EUR 48,99
Von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Automated Technology for Verification and Analysis: 5th International Symposium, Atva 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 1st edition. 566 pages. 9.21x6.06x1.34 inches. In Stock. Bestandsnummer des Verkäufers x-3540755950
Neu kaufen
EUR 83,72
Versand:
EUR 14,22
Von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Ja
Anbieter: medimops, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. Bestandsnummer des Verkäufers M03540755950-V
Gebraucht kaufen
EUR 3,94
Versand:
EUR 105,00
Von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Verlag:
Springer Berlin Heidelberg, 2007
ISBN 10: 3540755950
ISBN 13: 9783540755951
Gebraucht
Softcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 584 | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 3981527/12
Gebraucht kaufen
EUR 7,69
Versand:
EUR 105,00
Von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Automated Technology for Verification and Analysis
ISBN 10: 3540755950
ISBN 13: 9783540755951
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. 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
Neu kaufen
EUR 53,49
Versand:
EUR 60,00
Von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Bestandsnummer des Verkäufers 9783540755951
Neu kaufen
EUR 53,49
Versand:
EUR 64,37
Von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings (Lecture Notes in Computer Science)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: Like New. Like New. book. Bestandsnummer des Verkäufers ERICA70435407559505
Gebraucht kaufen
EUR 127,76
Versand:
EUR 28,45
Von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar