• Engelska
  • Spanska
  • Franska
  • Tyska
  • Portugisiska
  • Italienska
  • Ryska
  • Förenklad kinesiska
  • Kinesiska (traditionell)
  • Japanska
  • Koreanska
  • Holländska
  • Svenska
  • Persiska
  • Arabiska
  • Polska
  • Hem
  • Upptäck
  • Artiklar
  • Logga in
  • Registrera dig
  • Engelska
  • Spanska
  • Franska
  • Tyska
  • Portugisiska
  • Italienska
  • Ryska
  • Förenklad kinesiska
  • Kinesiska (traditionell)
  • Japanska
  • Koreanska
  • Holländska
  • Svenska
  • Persiska
  • Arabiska
  • Polska
ISBN streckkodsläsare
Lägg till böcker på sekunder med streckkodsskanning.

Skanna bara en ISBN för att omedelbart lägga till den i ditt bibliotek. Tillgängligt nu på iOS och Android.

App Store Google Play
Daniel Kroening

Daniel Kroening

Översikt Böcker
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

Följ din läsresa, upptäck nya böcker och uppnå dina läsmål med BookPine.

App Store Google Play
Upptäck
  • Upptäck
Konto
  • Logga in
  • Registrera dig
Support
  • FAQ
  • Funktionsförfrågningar
  • Kontakt
Villkor
  • Användarvillkor
  • Integritetspolicy
  • Cookiepolicy
  • Hantera cookies

Upphovsrätt © 2026 BookPine. Alla rättigheter förbehållna.

Skicka återkoppling

Vi använder cookies för att förbättra din upplevelse och analysera webbplatstrafik. Du kan välja vilka cookies du accepterar.

Nödvändiga

Nödvändiga för att webbplatsen ska fungera. Kan inte inaktiveras.

Analys

Hjälp oss förstå hur besökare interagerar med vår webbplats.

Marknadsföring

Används för att leverera relevanta annonser och spåra kampanjer.