Computer Science Foundations and Applied Logic
Stoelinga / Ruijters / Krcál
Models, Methods and Algorithms
Fachbuch2025Birkhäuser Verlag GmbHISBN 978-3-031-78286-2
Foundations, Algorithms and Applications
Fachbuch2025SpringerISBN 978-3-031-98344-3
An Introduction with Moggi and Yoneda
Fachbuch2024Birkhäuser Verlag GmbHISBN 978-3-031-68537-8
Blanchette / Mahboubi
Proof Assistants and Their Applications in Mathematics and Computer Science
Proof Assistants and Their Applications in Mathematics and Computer Science
Fachbuch2026SpringerISBN 978-3-031-85189-6
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
eBook (PDF mit Wasserzeichen)2., Second Edition 20252025Springer Nature SwitzerlandISBN 978-3-031-85352-4
Kosmatov / Prevosto / Signoles
Core Components, Usages, and Applications
Fachbuch2024SpringerISBN 978-3-031-55607-4
Fachbuch2024Birkhäuser Verlag GmbHISBN 978-3-031-26906-6
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
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
eBook (PDF mit Wasserzeichen)2023Springer International PublishingISBN 978-3-031-26904-2
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
eBook (PDF mit Wasserzeichen)2023Springer International PublishingISBN 978-3-031-21112-6