• 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 Myynti

Meillä on varastossa

📦 Šios prekės gali nebūti sandėlyje.
Prieš perkant parašykite mums, kad patikslintume: info@bookshop.lt 💜

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