Freek Wiedijk

Freek Wiedijk

2 ספרים במאגר

ספרים

The Seventeen Provers of the WorldFreek Wiedijk

The Seventeen Provers of the World

Freek Wiedijk · 2006

Hybrid Systems : Computation and ControlFreek Wiedijk

Hybrid Systems : Computation and Control

Freek Wiedijk · 2003

ספרים משותפים ואוספים

ספרים שבהם Freek Wiedijk מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Types for Proofs and ProgramsHerman Geuvers

Types for Proofs and Programs

Herman Geuvers · 2003

Hybrid systemsOded Maler

Oded Maler · 2003

Logics and Type Systems in Theory and PracticeVenanzio Capretta

Logics and Type Systems in Theory and Practice

Venanzio Capretta · 2024