MPG.eBooks - Search Results - "Computer Science Foundations and Applied Logic"

Search alternatives:
science foundations » science foundation , science communications , scientific foundations

Cover Image

1

Algorithms for Constructing Computably Enumerable Sets

by Supowit, Kenneth J.
Published 2023

Birkhäuser

“...Computer Science Foundations and Applied Logic...”

Cover Image

2

Structural Decision Diagrams in Digital Test : Theory and Applications

by Ubar, Raimund, Raik, Jaan, Jenihhin, Maksim, Jutman, Artur
Published 2024

Birkhäuser

“...Computer Science Foundations and Applied Logic...”

Cover Image

3

Petri Net Primer : A Compendium on the Core Model, Analysis, and Synthesis

by Best, Eike, Devillers, Raymond
Published 2024

Birkhäuser

“...Computer Science Foundations and Applied Logic...”

Cover Image

4

Guide to Software Verification with Frama-C : Core Components, Usages, and Applications

Published 2024

Springer International Publishing

“...Computer Science Foundations and Applied Logic...”

Cover Image

5

Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas

by Farmer, William M.
Published 2023

Birkhäuser

“...Computer Science Foundations and Applied Logic...”