• 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
Daniel Kroening

Daniel Kroening

Übersicht Bücher
Model Checking, second edition

Model Checking, second edition

Edmund M. Clarke Jr.

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

Validation of Evolving Software

Validation of Evolving Software

Hana Chockler

Computer Aided Verification: 27th International Conference (CAV 2015)

Computer Aided Verification: 27th International Conference (CAV 2015)

Daniel Kroening

Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Dimitra Giannakopoulou

Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Sharon Barner

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ...

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ...

Sharon Barner

Decision Procedures: An Algorithmic Point of View

Decision Procedures: An Algorithmic Point of View

Daniel Kroening

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.