Computer Science Foundations and Applied Logic
An Introduction with Moggi and Yoneda
Fachbuch2024Birkhäuser Verlag GmbHISBN 978-3-031-68537-8
Kosmatov / Prevosto / Signoles
Core Components, Usages, and Applications
Fachbuch2024SpringerISBN 978-3-031-55607-4
Fachbuch2024Birkhäuser Verlag GmbHISBN 978-3-031-26906-6
Fachbuch2023Birkhäuser Verlag GmbHISBN 978-3-031-26903-5
Kagan / Rybalov / Yager
eBook (PDF mit Wasserzeichen)2025Springer International PublishingISBN 978-3-031-74762-5
An Introduction with Moggi and Yoneda
eBook (PDF mit Wasserzeichen)2024Springer International PublishingISBN 978-3-031-68538-5
Kosmatov / Prevosto / Signoles
Core Components, Usages, and Applications
eBook (PDF mit Wasserzeichen)2024Springer International PublishingISBN 978-3-031-55608-1
eBook (PDF mit Wasserzeichen)2023Springer International PublishingISBN 978-3-031-26904-2
A Compendium on the Core Model, Analysis, and Synthesis
eBook (PDF mit Wasserzeichen)2024Springer Nature SwitzerlandISBN 978-3-031-48278-6
Ubar / Raik / Jenihhin
Theory and Applications
eBook (PDF mit Wasserzeichen)2024Springer Nature SwitzerlandISBN 978-3-031-44734-1
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
eBook (PDF mit Wasserzeichen)2023Springer International PublishingISBN 978-3-031-21112-6