Stephane Demri

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

1. 

   Temporal Logics in Computer Science

   2016

   • E-bok 1921 kr
   • E-bok 1964 kr
2. 

   Concise Introduction to Alternating-Time Temporal Logics

   2026

   • Inbunden 572 kr
   • E-bok 755 kr
3. 

   Advances in Modal Logic Volume 11

   2016

   • Häftad 301 kr
4. 

   Automated Reasoning

   2014

   • Häftad 571 kr
   • E-bok 710 kr