Automated Technology for Verification and Analysis (Paperback)

Sprache: Englisch

Verlag: Springer Nature Switzerland AG, Cham, 2025

3032087066 / 9783032087065

Anbieter: AussieBookSeller, Truganina, VIC, AustralienAussieBookSeller

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 22. Juni 2007

Softcover

Zustand: Neu

EUR 140,86

EUR 32,63 Versand 
Versand von Australien nach USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

Paperback. This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 2731, 2025.The 17 full papers and 4 short papers included in the proceedings were carefully reviewed and selected from 59 submissions. They were organized in topical sections as follows: Automata and temporal logic; games and controller synthesis; monitoring and runtime verification; probabilistic verification and quantum computing; learning; hybrid and dynamical systems; and verification. This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 2731, 2025.The 17 full papers and 4 short papers included in the proceedings were carefully reviewed and selected from 59 submissions. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. …

Bestandsnummer des Verkäufers 9783032087065

Titel
Automated Technology for Verification and Analysis (Paperback)
Autor
Meenakshi DSouza
Verlag
Springer Nature Switzerland AG, Cham
Erscheinungsjahr
2025
Zustand
new
Einband
Paperback
Sprache
Englisch
ISBN-10
3032087066
ISBN-13
9783032087065

AussieBookSeller

Truganina, VIC, Australien

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 22. Juni 2007

Versandkosten von Australien nach USA

Artikel25 bis 45 Werktage8 bis 14 Werktage
Erster ArtikelEUR 32,63EUR 38,80
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

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

The Nile Group Pty Ltd

42 Apex Drive
Truganina, VIC Australien 3029