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

Automated Technology for Verification and Analysis: 21st International Symposium

Ø 0.0

0 Bewertungen

46,59 €

Eine Lösung finden können. CDs/DVDs/Vinyls können Kratzer aufweisen, Funktion sollte aber nicht beeinträchtigt sein. Funktionsweise sollte nicht beeinträchtigt sein. Knicke oder Lesespuren können vorhanden sein, auch leichte Wasserflecken sind möglich.

Jetzt bei Ebay:

Zum Angebot *

Produktart:

Bücher
ISBN-10:

303145331x
ISBN-13:

9783031453311
Buchtitel:

Automated Technology for Verification and Analysis
Untertitel:

21st International Symposium, ATVA 2023, Singapore
Autor:

Unbekannt
Erscheinungsjahr:

Oktober 2023
Verlag:

Springer Nature Switzerland
Format:

Taschenbuch
Sprache:

Englisch
Höhe:

1.9 cm
Gewicht:

528 g
Länge:

23.5 cm
Breite:

15.5 cm
ISBN:

303145331x

Expressversand:

Sonstige (1 Werktag) kostenlos - Lieferung zwischen 19. May 2025 und 19. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland, Italien, Spanien, Österreich, Polen, Schweiz
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Ozeanien , Südostasien , Südamerika , Bermuda , Grönland , Kanada , ... und weitere

Automated Technology for Verification and Analysis: 21st International Symposium

Automated Technology for Verification and Analysis: 5th International Symposium,

Automated Technology for Verification and Analysis: 6th International Symposium,

Automated Technology for Verification and Analysis: 9th International Symposium,

Automated Technology for Verification and Analysis: 7th International Symposium,

Automated Technology for Verification and Analysis Kedar Namjoshi (u. a.) Buch

Automated Technology for Verification and Analysis Sungdeok Cha

Automated Technology for Verification and Analysis Anders P. Ravn

Automated Technology for Verification and Analysis Jun Sun

Automated Technology for Verification and Analysis: 21st International

Automated Technology for Verification and Analysis: 21st International

Bernd Finkbeiner (u. a.) | Automated Technology for Verification and Analysis

Mizuhito Ogawa (u. a.) | Automated Technology for Verification and Analysis

Jun Sun (u. a.) | Automated Technology for Verification and Analysis | Buch | xv

K. Narayan Kumar (u. a.) | Automated Technology for Verification and Analysis

Jean-Francois Raskin (u. a.) | Automated Technology for Verification and...

Vijay Ganesh (u. a.) | Automated Technology for Verification and Analysis | Buch

Fluid-Particle Technology: Analysis and Applications (Aiche Symposium Series)

Automated Technology for Verification and Analysis Jun Sun (u. a.) Taschenbuch

Automated Technology for Verification and Analysis - 9783031199912

Complex geometry and analysis. Proceedings of the International Symposium in Hon

Automated Technology for Verification and Analysis: 21st International Symposium

Ähnliche Artikel

Automated Technology for Verification and Analysis: 5th International Symposium,

Automated Technology for Verification and Analysis: 6th International Symposium,

Automated Technology for Verification and Analysis: 9th International Symposium,

Automated Technology for Verification and Analysis: 7th International Symposium,

Automated Technology for Verification and Analysis Kedar Namjoshi (u. a.) Buch

Automated Technology for Verification and Analysis Sungdeok Cha

Automated Technology for Verification and Analysis Anders P. Ravn

Automated Technology for Verification and Analysis Jun Sun

Automated Technology for Verification and Analysis: 21st International

Automated Technology for Verification and Analysis: 21st International

Bernd Finkbeiner (u. a.) | Automated Technology for Verification and Analysis

Mizuhito Ogawa (u. a.) | Automated Technology for Verification and Analysis

Jun Sun (u. a.) | Automated Technology for Verification and Analysis | Buch | xv

K. Narayan Kumar (u. a.) | Automated Technology for Verification and Analysis

Jean-Francois Raskin (u. a.) | Automated Technology for Verification and...

Vijay Ganesh (u. a.) | Automated Technology for Verification and Analysis | Buch

Fluid-Particle Technology: Analysis and Applications (Aiche Symposium Series)

Automated Technology for Verification and Analysis Jun Sun (u. a.) Taschenbuch

Automated Technology for Verification and Analysis - 9783031199912

Complex geometry and analysis. Proceedings of the International Symposium in Hon

Cookie Hinweis