Freek Wiedijk - Böcker

Visar alla böcker från författaren Freek Wiedijk.
6 produkter
Venanzio Capretta, Robbert Krebbers, Freek Wiedijk - Logics and Type Systems in Theory and Practice, Häftad
Del 14560 - Lecture Notes in Computer Science

Logics and Type Systems in Theory and Practice

Av Venanzio Capretta, Robbert Krebbers, Freek Wiedijk

Häftad, Engelska, 2024

2 179 kr

Skickas inom 7-10 vardagar
Freek Wiedijk, Oded Maler, Amir Pnueli - Hybrid Systems: Computation and Control, Häftad
Del 2623 - Lecture Notes in Computer Science

Hybrid Systems: Computation and Control

Av Freek Wiedijk, Oded Maler, Amir Pnueli

Häftad, Engelska, 2003

1 459 kr

Skickas inom 7-10 vardagar
Herman Geuvers, Freek Wiedijk - Types for Proofs and Programs, Häftad
Del 2646 - Lecture Notes in Computer Science

Types for Proofs and Programs

Av Herman Geuvers, Freek Wiedijk

Häftad, Engelska, 2003

719 kr

Skickas inom 7-10 vardagar
Freek Wiedijk - Seventeen Provers of the World, Häftad

Seventeen Provers of the World

Av Freek Wiedijk

Häftad, Engelska, 2006

789 kr

Skickas inom 7-10 vardagar
Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk - Intelligent Computer Mathematics, Häftad

Intelligent Computer Mathematics

Av Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk

Häftad, Engelska, 2008

739 kr

Skickas inom 7-10 vardagar
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk - Interactive Theorem Proving, Häftad

Interactive Theorem Proving

Av Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk

Häftad, Engelska, 2011

739 kr

Skickas inom 7-10 vardagar