Texts in Theoretical Computer Science. An EATCS Series

Visar alla böcker i serien Texts in Theoretical Computer Science. An EATCS Series. Handla med fri frakt och snabb leverans.

1. 

   Interactive Theorem Proving and Program Development

   Yves Bertot, Pierre Castéran · 2004

   • Inbunden 1332 kr
2. 

   Complexity Theory and Cryptology

   Jörg Rothe · 2010

   • Häftad 576 kr
3. 

   Decision Procedures

   Daniel Kroening, Ofer Strichman · 2018

   • Häftad 381 kr