• Englisch
  • Spanisch
  • Französisch
  • Deutsch
  • Portugiesisch
  • Italienisch
  • Russisch
  • Chinesisch (Vereinfacht)
  • Chinesisch (Traditionell)
  • Japanisch
  • Koreanisch
  • Niederländisch
  • Schwedisch
  • Persisch
  • Arabisch
  • Polnisch
  • Startseite
  • Entdecken
  • Artikel
  • Anmelden
  • Registrieren
  • Englisch
  • Spanisch
  • Französisch
  • Deutsch
  • Portugiesisch
  • Italienisch
  • Russisch
  • Chinesisch (Vereinfacht)
  • Chinesisch (Traditionell)
  • Japanisch
  • Koreanisch
  • Niederländisch
  • Schwedisch
  • Persisch
  • Arabisch
  • Polnisch
ISBN Barcode-Scanner
Bücher in Sekunden mit Barcode-Scannen hinzufügen.

Scannen Sie einfach eine ISBN, um sie sofort Ihrer Bibliothek hinzuzufügen. Jetzt verfügbar für iOS und Android.

App Store Google Play
Corina S. Pasareanu

Corina S. Pasareanu

Übersicht Bücher
Theoretical Aspects of Computing – ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings

Theoretical Aspects of Computing – ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings

Helmut Seidl

Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

Radu Calinescu

Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security

Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security

Corina S. Pasareanu

Computer Aided Verification: 27th International Conference (CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I)

Computer Aided Verification: 27th International Conference (CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I)

Daniel Kroening

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Daniel Kroening

Formal Aspects of Component Software

Formal Aspects of Component Software

Corina S. Pasareanu

Model Checking Software

Model Checking Software

Corina S. Pasareanu

Verfolgen Sie Ihre Lese-Reise, entdecken Sie neue Bücher und erreichen Sie Ihre Leseziele mit BookPine.

App Store Google Play
Entdecken
  • Entdecken
Konto
  • Anmelden
  • Registrieren
Unterstützung
  • FAQ
  • Funktionsanfragen
  • Kontakt
Bedingungen
  • Nutzungsbedingungen
  • Datenschutzerklärung
  • Cookie-Richtlinie
  • Cookies verwalten

Urheberrecht © 2026 BookPine. Alle Rechte vorbehalten.

Feedback senden

Wir verwenden Cookies, um Ihre Erfahrung zu verbessern und den Seitenverkehr zu analysieren. Sie können wählen, welche Cookies Sie akzeptieren möchten.

Wesentlich

Für das Funktionieren der Webseite erforderlich. Kann nicht deaktiviert werden.

Analytik

Helfen Sie uns zu verstehen, wie Besucher mit unserer Webseite interagieren.

Marketing

Wird verwendet, um relevante Werbung zu liefern und Kampagnen zu verfolgen.