Anton Wijs

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

1. 

   Formal Aspects of Component Software

   2021

   • Häftad 518 kr
   • E-bok 650 kr
2. 

   Concise Guide to Software Verification

   2023

   • Inbunden 942 kr
   • Häftad 667 kr
3. 

   Integrated Formal Methods

   2023

   • Häftad 1371 kr
   • E-bok 1780 kr
4. 

   Model Checking Software

   2024

   • Häftad 575 kr
   • E-bok 718 kr
   • Häftad 576 kr
   • E-bok 732 kr
5. 

   Concise Guide to Software Verification

   2023

   • E-bok 877 kr
6. 

   Concise Guide to Software Verification : From Model Checking to Annotation Checking

   2023

   • Övrigt 667 kr