Neu Abbildung von D´Souza / Komondoor | Automated Technology for Verification and Analysis | 1. Auflage | 2025 | beck-shop.de
eBook

D´Souza / Komondoor / Srivathsan

Erschienen: 25.10.2025

Automated Technology for Verification and Analysis

23rd International Symposium, ATVA 2025, Bengaluru, India, October 27-31, 2025, Proceedings

Springer International Publishing

ISBN 978-3-032-08707-2

Zur Nachauflage
Zur Vorauflage

Standardpreis

85,59 €

sofort lieferbar!

Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen

auch verfügbar als Buch (Softcover) für 87,73 €

Bibliografische Daten

eBook. PDF

2025

XV, 474 p. 168 illus., 122 illus. in color..

In englischer Sprache

Umfang: 474 S.

Verlag: Springer International Publishing

ISBN: 978-3-032-08707-2

Autorinnen und Autoren

Produktsicherheit

Hersteller

Springer Nature Customer Service Center GmbH

ProductSafety@springernature.com

Topseller & Empfehlungen für Sie

Ihre zuletzt angesehenen Produkte

Rezensionen

Dieses Set enthält folgende Produkte:
    Auch in folgendem Set erhältlich:

      • Grafik Warenkorb In den Warenkorb Grafik 4-Wochen-Test für beck-online 4-Wochen-Test bestellen

      Grafik MerklisteAuf die Merkliste Nachricht, wenn verfügbar

      Produktempfehlungen personalisieren

      Ihre Vorteile:

      • Empfehlungen basierend auf ihren Interessen
      • Zeitersparnis durch passende Vorschläge

      Mehr informationen zu , , und

      Die ersten personalisierten Empfehlungen erhalten Sie nach zwei bis drei Klicks.

      Sie können diese Zustimmung zu einem späteren Zeitpunkt unproblematisch über die Datenschutz-Einstellungen wieder zurückziehen.

      nach oben
      X

      Das Passwort muss mind. 8 Zeichen enthalten.
      (Darin sollte mind. ein Groß- und ein Kleinbuchstabe und mind. eine Ziffer enthalten sein.)

      Schließen

      Ihre Daten werden geladen ...