Roberto Coin

interactive theorem proving and program development coqart the calculus of in

interactive theorem proving and program development coqart the calculus of in

Recommended

Interactive Theorem Proving in Software Engineering by Kammüller, Florian
Interactive Theorem Proving in Software Engineering by Kammüller, Florian

$64.74

View Details
Research in Computational Topology, Hardcover by Gasparovic, Ellen (EDT); Rob...
Research in Computational Topology, Hardcover by Gasparovic, Ellen (EDT); Rob...

$123.29

View Details
Van Eekelen - Interactive Theorem Proving Second International Conf - S9000z
Van Eekelen - Interactive Theorem Proving Second International Conf - S9000z

$76.18

View Details
Interactive Theorem Proving - 9783642228629
Interactive Theorem Proving - 9783642228629

$48.72

View Details
The Zero Theorem [Blu-ray] [2014] [Region Free] - CD LMVG The Fast Free
The Zero Theorem [Blu-ray] [2014] [Region Free] - CD LMVG The Fast Free

$15.38

View Details
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving by Os
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving by Os

$82.53

View Details
Interactive Theorem Proving : 5th International Conference, Itp 2014, Held As...
Interactive Theorem Proving : 5th International Conference, Itp 2014, Held As...

$75.17

View Details
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as

$121.49

View Details
Interactive Theorem Proving : 7th International Conference, Proceedings, Pape...
Interactive Theorem Proving : 7th International Conference, Proceedings, Pape...

$75.16

View Details
Interactive Theorem Proving : 7th International Conference, Proceedings, Pape...
Interactive Theorem Proving : 7th International Conference, Proceedings, Pape...

$59.20

View Details

© 2008-2024 Roberto Coin (https://www.ticketete.com/). All Rights Reserved.