Computer Science Foundations and Applied Logic

Kosmatov / Prevosto / Signoles

Guide to Software Verification with Frama-C

Guide to Software Verification with Frama-C

Guide to Software Verification with Frama-C

Core Components, Usages, and Applications

Core Components, Usages, and Applications

Fachbuch2024BuchSpringerISBN 978-3-031-55607-4

Best / Devillers

Petri Net Primer

Petri Net Primer

Petri Net Primer

A Compendium on the Core Model, Analysis, and Synthesis

A Compendium on the Core Model, Analysis, and Synthesis

Fachbuch2024BuchBirkhäuser Verlag GmbHISBN 978-3-031-48277-9

Farmer

Simple Type Theory

Simple Type Theory

Simple Type Theory

A Practical Logic for Expressing and Reasoning About Mathematical Ideas

A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Fachbuch2024BuchSpringer International PublishingISBN 978-3-031-21114-0

Ubar / Raik / Jenihhin

Structural Decision Diagrams in Digital Test

Structural Decision Diagrams in Digital Test

Structural Decision Diagrams in Digital Test

Theory and Applications

Theory and Applications

Fachbuch2024BuchBirkhäuser Verlag GmbHISBN 978-3-031-44733-4

Supowit

Algorithms for Constructing Computably Enumerable Sets

Algorithms for Constructing Computably Enumerable Sets

Algorithms for Constructing Computably Enumerable Sets

Fachbuch2023BuchBirkhäuser Verlag GmbHISBN 978-3-031-26903-5

Ubar / Raik / Jenihhin

Structural Decision Diagrams in Digital Test

Structural Decision Diagrams in Digital Test

Structural Decision Diagrams in Digital Test

Theory and Applications

Theory and Applications

2024eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-031-44734-1

Best / Devillers

Petri Net Primer

Petri Net Primer

Petri Net Primer

A Compendium on the Core Model, Analysis, and Synthesis

A Compendium on the Core Model, Analysis, and Synthesis

2024eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-031-48278-6

Supowit

Algorithms for Constructing Computably Enumerable Sets

Algorithms for Constructing Computably Enumerable Sets

Algorithms for Constructing Computably Enumerable Sets

2023eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-031-26904-2

Farmer

Simple Type Theory

Simple Type Theory

Simple Type Theory

A Practical Logic for Expressing and Reasoning About Mathematical Ideas

A Practical Logic for Expressing and Reasoning About Mathematical Ideas

2023eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-031-21112-6