Roderick Bloem

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

1. 

   Software Verification

   2022

   • Häftad 628 kr
   • E-bok 813 kr
2. 

   Handbook of Model Checking

   2020

   • Övrigt 1871 kr
   • Inbunden 1588 kr
   • E-bok 1894 kr
3. 

   Trusted Systems

   2013

   • Häftad 572 kr
   • E-bok 755 kr
4. 

   Computer Aided Verification

   2014

   • Häftad 1136 kr
   • E-bok 1502 kr
5. 

   Decidability of Parameterized Verification

   2015

   • Häftad 515 kr
6. 

   Decidability of Parameterized Verification

   2022

   • E-bok 657 kr
7. 

   Hardware and Software: Verification and Testing

   2016

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