Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings (Lecture Notes in Computer Science, 4218)

ISBN 10: 3540472371 ISBN 13: 9783540472377

Verlag: Springer, 2006

Sprache: Englisch

Neu Zustand: New Softcover

F�r sp�ter vormerken

Verk�ufer Lucky's Textbooks, Dallas, TX, USA

Verk�uferbewertung 5 von 5 Sternen

AbeBooks-Verk�ufer seit 22. Juli 2022

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Neu - Softcover

Preis: EUR 53,76 W�hrung umrechnen

EUR 64,93 f�r den Versand von USA nach Deutschland Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

Bestandsnummer des Verk�ufers ABLIING23Mar3113020168143

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Automated Technology for Verification and ...

Verlag: Springer

Erscheinungsdatum: 2006

Einband: Softcover

Zustand: New

�ber diesen Titel

Inhaltsangabe:

This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006.

The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.

Rese�a del editor:

This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006.

The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Quality books, speedy shipping, and great customer service! Please note that used items may not include access codes or cards, CD's or other accessories, regardless of what is stated in item title. If you need to guarantee that these items are included, please purchase a brand new copy.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

J2B Holdings, LLC
13770 NOEL RD, #803600, Dallas, TX, 75240, U.S.A.

Gesch�ftsbedingungen:

We guarantee the condition of every book as it's described on the AbeBooks web
sites. Please note that used items may not include access codes or cards, CD's
or other accessories, regardless of what is stated in item title. If you need to
guarantee that these items are included, please purchase a brand new copy.

All requests for refunds and/or returns will be processed in accordance with
AbeBooks policies. If you're dissatisfied with your purchase (Incorrect Book/Not
as Described/Damaged) or if ...

Mehr Information

Versandinformationen:

Books ordered via expedited shipping should arrive between 2 and 7 business days after shipment confirmation. Books ordered via standard shipping should arrive between 4 and 14 business days after shipment confirmation.

Zahlungsarten
akzeptiert von diesem Verk�ufer

Zu Kaufgesuchen hinzuf�gen

Verwandte Artikel zu Automated Technology for Verification and Analysis:...

Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings (Lecture Notes in Computer Science, 4218)

Neu - Softcover

Unternehmensdaten des Verk�ufers