Bernd Finkbeiner

Visar alla böcker från författaren Bernd Finkbeiner. Handla med fri frakt och snabb leverans.

1. 

   Runtime Verification

   2019

   • Häftad 740 kr
   • E-bok 894 kr
   • Häftad 571 kr
   • E-bok 755 kr
2. 

   Tools and Algorithms for the Construction and Analysis of Systems

   2024

   • Häftad 458 kr
   • Häftad 458 kr
   • Häftad 458 kr
3. 

   Fields of Logic and Computation III

   2020

   • Häftad 571 kr
   • E-bok 739 kr
4. 

   Verification, Model Checking, and Abstract Interpretation

   2022

   • Häftad 993 kr
   • E-bok 1296 kr
5. 

   Design and Verification of Cyber-Physical Systems: From Theory to Applications

   2026

   • E-bok 1141 kr
   • Häftad 906 kr
6. 

   Fields of Logic and Computation II

   2015

   • Häftad 559 kr
   • E-bok 755 kr
7. 

   Automated Technology for Verification and Analysis

   2015

   • Häftad 572 kr
   • E-bok 739 kr