• 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 Väljamüük

Meil on laos

📦 Atsiprašome, prekės neturime sandėlyje, bet greitai atsiras!
Užsisakykite el. pranešimą ir informuosime jus iškart, kai prekę turėsime. Arba rezervuokite užsakydami dabar.
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