Automated Technology for Verification and Analysis: 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27–31, 2025, Proceedings (Lecture Notes in Computer Science, 16145)

Sprache: Englisch

Verlag: Springer, 2025

3032087066 / 9783032087065

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 27. Oktober 2023

Softcover

Zustand: Neu

EUR 98,09

 Versand gratis 
Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Bestandsnummer des Verkäufers I-9783032087065

Titel
Automated Technology for Verification and Analysis: 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27–31, 2025, Proceedings (Lecture Notes in Computer Science, 16145)
Verlag
Springer
Erscheinungsjahr
2025
Zustand
New
Einband
Softcover
Sprache
Englisch
ISBN-10
3032087066
ISBN-13
9783032087065

California Books

Miami, FL, USA

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 27. Oktober 2023

Versandkosten innerhalb von USA

Artikel3 bis 7 Werktage2 bis 5 Werktage
Erster ArtikelEUR 0,00EUR 10,58
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Shopbeschreibung

We have 20 years experience selling books worldwide! Friendly customer support. Your satisfaction guaranteed!

Spezialisierung

All authorized categories

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Miramar International Services LLC

FL, USA