Computer Science Foundations and Applied Logic – serie
Visar alla böcker i serien Computer Science Foundations and Applied Logic. Handla med fri frakt och snabb leverans.
20 produkter
Algorithms for Constructing Computably Enumerable Sets
Inbunden, 2023
653 kr
Lägg i varukorg
Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques in a unified way that should appeal to computer scientists.Specifically, the book explains, organizes, and compares various algorithmic techniques …
Algorithms for Constructing Computably Enumerable Sets
Häftad, 2024
653 kr
Lägg i varukorg
Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques in a unified way that should appeal to computer scientists.Specifically, the book explains, organizes, and compares various algorithmic techniques …
Structural Decision Diagrams in Digital Test
Theory and Applications
Av Raimund Ubar, Jaan Raik m. fl.
Inbunden, 2024
2365 kr
Lägg i varukorg
This is the first book that sums up test-related modeling of digital circuits and systems by a new structural-decision-diagrams model. The model represents structural and functional information jointly and opens a new area of research.The book introduces and discusses applications of two types of …
Structural Decision Diagrams in Digital Test
Theory and Applications
Av Raimund Ubar, Jaan Raik m. fl.
Häftad, 2025
2377 kr
Lägg i varukorg
This is the first book that sums up test-related modeling of digital circuits and systems by a new structural-decision-diagrams model. The model represents structural and functional information jointly and opens a new area of research.The book introduces and discusses applications of two types of …
Petri Net Primer
A Compendium on the Core Model, Analysis, and Synthesis
Av Eike Best, Raymond Devillers
Inbunden, 2024
923 kr
Lägg i varukorg
Petri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of resources. Although the dynamic properties of such systems may be very complex, they may sometimes be connected to the static structure of a Petri net. …
Petri Net Primer
A Compendium on the Core Model, Analysis, and Synthesis
Av Eike Best, Raymond Devillers
Häftad, 2025
653 kr
Lägg i varukorg
Petri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of resources. Although the dynamic properties of such systems may be very complex, they may sometimes be connected to the static structure of a Petri net. …
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
Av Nikolai Kosmatov, Virgile Prevosto m. fl.
Inbunden, 2024
778 kr
Lägg i varukorg
Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications.With the growing complexity and ubiquity of modern software, there is increasing interest in code analysis tools at various levels of …
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
Av Nikolai Kosmatov, Virgile Prevosto m. fl.
Häftad, 2025
545 kr
Lägg i varukorg
Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications.With the growing complexity and ubiquity of modern software, there is increasing interest in code analysis tools at various levels of …
Category Theory Using Haskell
An Introduction with Moggi and Yoneda
Inbunden, 2024
2157 kr
Lägg i varukorg
This unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 1950s and began to spread to logic and computer science soon after it was created.Offering excellent use of helpful examples in Haskell, the work covers …
Category Theory Using Haskell
An Introduction with Moggi and Yoneda
Häftad, 2025
1512 kr
Lägg i varukorg
This unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 1950s and began to spread to logic and computer science soon after it was created.Offering excellent use of helpful examples in Haskell, the work covers …
Multi-valued Logic for Decision-Making Under Uncertainty
Av Evgeny Kagan, Alexander Rybalov m. fl.
Inbunden, 2025
2157 kr
Lägg i varukorg
Multi-valued and fuzzy logics provide mathematical and computational tools for handling imperfect information and decision-making with rational collective reasoning and irrational individual judgements. The suggested implementation of multi-valued logics is based on the uninorm and absorbing norm …
Multi-valued Logic for Decision-Making Under Uncertainty
Av Evgeny Kagan, Alexander Rybalov m. fl.
Häftad, 2026
1512 kr
Lägg i varukorg
Multi-valued and fuzzy logics provide mathematical and computational tools for handling imperfect information and decision-making with rational collective reasoning and irrational individual judgements. The suggested implementation of multi-valued logics is based on the uninorm and absorbing norm …
Concise Guide to Fault Tree Analysis
Models, Methods and Algorithms
Av Mariëlle Stoelinga, Enno Ruijters m. fl.
Inbunden, 2026
706 kr
Lägg i varukorg
Fault tree analysis is key tool in risk analysis. It is a widely used industry standard with applications in amongst others, the aerospace, automotive, chemical and nuclear industries.Society depends on complex engineering systems such as (nuclear) power plants, airplanes, and data centers, and …
Proof Assistants and Their Applications in Mathematics and Computer Science
Av Jasmin Blanchette, Assia Mahboubi
Inbunden, 2027
894 kr
Kommande
Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking. Today they are used to verify operating systems, compilers, and cryptographic protocols, as well as landmark results in mathematics such as the …
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Inbunden, 2025
867 kr
Lägg i varukorg
This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first-order …
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Häftad, 2026
652 kr
Lägg i varukorg
This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first-order …
Causal Discovery
Foundations, Algorithms and Applications
Inbunden, 2025
921 kr
Lägg i varukorg
This book presents an overview of causal discovery, an emergent field with important developments in the last few years, and multiple applications in several fields.The book is divided into three parts. The first part provides the necessary background on causal graphical models and causal …
First-Order Schemata and Inductive Proof Analysis
Av Alexander Leitsch, David Michael Cerna m. fl.
Inbunden, 2026
1727 kr
Lägg i varukorg
Schemata are formal tools for describing inductive reasoning. They opened a new area in the analysis of inductive proofs.The book introduces schemata for first-order terms, first-order formulas and first-order inference systems. Based on general first-order schemata, the …
Concise Introduction to Alternating-Time Temporal Logics
A Guide for Understanding the Model-Checking Problem
Inbunden, 2026
561 kr
Lägg i varukorg
The formal verification of multi-agent systems aimed at proving that such systems meet their specifications has given rise to a very active field of research at the crossroads of formal methods, knowledge representation and artificial intelligence. Alternating-time temporal logics are considered as …
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Häftad, 2024
905 kr
Tillfälligt slut
This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas.The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends …
