0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

    B. Srivathsan – alle Bücher

    Ihre Suche nach "B. Srivathsan" (Bücher) ergab 1 Treffer.

    Ansicht:

    Automated Technology for Verification and Analysis

    Lecture Notes in Computer Science - Band 16145

    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 27--31, 2025.The…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 89,80
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.