• Book cover of: Logics and Type Systems in Theory and Practice. By: Venanzio Capretta

Logics and Type Systems in Theory and Practice

Venanzio Capretta

€133,37
€133,37 €137,49 Sale
Tax included. Shipping calculated at checkout.

In stock
Leidimo metai 2024 m.
Puslapių skč. 273 psl.
Viršelis Minkštas viršelis
ISBN 9783031617157
Leidimas 2024 ed.

Logics and Type Systems in Theory and Practice

Logics and Type Systems in Theory and Practice by Venanzio Capretta, Robbert Krebbers, Freek Wiedijk.

Published by Springer, (2024), Paperback, 273 pages.

Book cover of: Logics and Type Systems in Theory and Practice. By: Venanzio Capretta

Logics and Type Systems in Theory and...

€133,37
€133,37 €137,49