Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Automated Technology for Verification and Analysis: 10th International Symposium

Ø 0.0

0 Bewertungen

69,15 €

This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012.

Jetzt bei Ebay:

ISBN-13:

9783642333859
Book Title:

Automated Technology for Verification and Analysis
ISBN:

9783642333859

None:

International Standard : tracked-no signature (7 to 15 business days) 27,84 EUR - Lieferung zwischen 20. May 2025 und 30. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Algerien , Angola , Benin , Botsuana , Burkina Faso , Burundi , Kamerun , Kap Verde , Zentralafrikanische Republik , Tschad , ... und weitere