Computer Science Foundations and Applied Logic
Kagan / Rybalov / Yager
Fachbuch2025SpringerISBN 978-3-031-74761-8
An Introduction with Moggi and Yoneda
Fachbuch2025Birkhäuser Verlag GmbHISBN 978-3-031-68537-8
Stoelinga / Ruijters / Krcál
Models, Methods and Algorithms
Fachbuch2025SpringerISBN 978-3-031-78286-2
Kosmatov / Prevosto / Signoles
Core Components, Usages, and Applications
Fachbuch2024SpringerISBN 978-3-031-55607-4
Fachbuch2024Birkhäuser Verlag GmbHISBN 978-3-031-26906-6
A Compendium on the Core Model, Analysis, and Synthesis
Fachbuch2024Birkhäuser Verlag GmbHISBN 978-3-031-48277-9
Ubar / Raik / Jenihhin
Theory and Applications
Fachbuch2024Birkhäuser Verlag GmbHISBN 978-3-031-44733-4
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Fachbuch2024Springer International PublishingISBN 978-3-031-21114-0
Fachbuch2023Birkhäuser Verlag GmbHISBN 978-3-031-26903-5
Kosmatov / Prevosto / Signoles
Core Components, Usages, and Applications
eBook (PDF mit Wasserzeichen)2024Springer Nature SwitzerlandISBN 978-3-031-55608-1
Ubar / Raik / Jenihhin
Theory and Applications
eBook (PDF mit Wasserzeichen)2024Springer International PublishingISBN 978-3-031-44734-1
A Compendium on the Core Model, Analysis, and Synthesis
eBook (PDF mit Wasserzeichen)2024Springer International PublishingISBN 978-3-031-48278-6
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
eBook (PDF mit Wasserzeichen)2023Springer International PublishingISBN 978-3-031-21112-6
eBook (PDF mit Wasserzeichen)2023Springer Nature SwitzerlandISBN 978-3-031-26904-2