• 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
Orna Grumberg

Orna Grumberg

Übersicht Bücher
Model Checking, second edition

Model Checking, second edition

Edmund M. Clarke Jr.

Software Systems Safety

Software Systems Safety

Orna Grumberg

Software Safety and Security: Tools for Analysis and Verification

Software Safety and Security: Tools for Analysis and Verification

Tobias Nipkow

Logics and Languages for Reliability and Security (Volume 25): NATO Science for Peace and Security Series

Logics and Languages for Reliability and Security (Volume 25): NATO Science for Peace and Security Series

Javier Esparza

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, Tacas 2007. Lecture Notes in Computer Science, Volume 4424.

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, Tacas 2007. Lecture Notes in Computer Science, Volume 4424.

Orna Grumberg

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Orna Grumberg

25 Years of Model Checking

25 Years of Model Checking

Orna Grumberg

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Orna Grumberg

25 Years of Model Checking: History, Achievements, Perspectives

25 Years of Model Checking: History, Achievements, Perspectives

Orna Grumberg

Formal Logical Methods for System Security and Correctness

Formal Logical Methods for System Security and Correctness

Orna Grumberg

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European ...

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European ...

Orna Grumberg

Computer Aided Verification: 9th International Conference, Cav'97, Haifa, Israel, June 22-25, 1997, Proceedings

Computer Aided Verification: 9th International Conference, Cav'97, Haifa, Israel, June 22-25, 1997, Proceedings

Orna Grumberg

Model Checking

Model Checking

Edmund M. Clarke Jr.

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.