Isbn: 9783032087065 - automated technology for verification and analysis: 23rd international symposium, atva 2025, bengaluru, india, october 27–31, 2025, proceedings (lecture notes in computer science, band 16145) (2 Ergebnisse)
Automated Technology for Verification and Analysis: 23rd International Symposium, Atva 2025, Bengaluru, India, October 2730, 2025, Proceedings
D souza, Meenakshi (Editor)/ Komondoor, Raghavan (Editor)/ Srivathsan, B. (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 131,49
EUR 14,58 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 450 pages. 9.25x6.10x9.25 inches. In Stock.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 79,15
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Automated Technology for Verification and Analysis | 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27-31, 2025, Proceedings | Meenakshi D´Souza (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xv | Englisch | 2025 | Springer | EAN 9783032087065 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
