Jens Brandt – författare

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

2 produkter

1. 

   Theorem Proving in Higher Order Logics

   20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings

   Av Klaus Schneider, Jens Brandt

   Häftad, 2007

   569 kr

   Lägg i varukorg

   This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007. Among the topics of this volume are formal semantics of specification, modeling, and programming languages, …

2. 

   Theorem Proving in Higher Order Logics

   20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings

   Av Jens Brandt, Klaus Schneider

   E-bok, 2007

   755 kr

   Lägg i varukorg