Petri Net Primer

Eike Best, Raymond Devillers

• Hardcover | Engels | Computer Science Foundations and Applied Logic
• Petri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of reso... Lees meer

Simple Type Theory

William M Farmer

• Hardcover | Engels | Computer Science Foundations and Applied Logic
• 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 reas... Lees meer

Multi-Valued Logic for Decision-Making Under Uncertainty

Evgeny Kagan, Alexander Rybalov, Ronald Yager

• Hardcover | Engels | Computer Science Foundations and Applied Logic
• Multi-valued and fuzzy logics provide mathematical and computational tools for handling imperfect information and decision-making with rational collec... Lees meer

Structural Decision Diagrams in Digital Test

Raimund Ubar, Jaan Raik, Maksim Jenihhin, Artur Jutman

• Hardcover | Engels | Computer Science Foundations and Applied Logic
• 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 repre... Lees meer

Proof Assistants and Their Applications in Mathematics and Computer Science

• Hardcover | Engels | Computer Science Foundations and Applied Logic
• Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checki... Lees meer

Algorithms for Constructing Computably Enumerable Sets

Kenneth J Supowit

• Hardcover | Engels | Computer Science Foundations and Applied Logic
• Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques ... Lees meer

Petri Net Primer

Eike Best, Raymond Devillers

• Paperback | Engels | Computer Science Foundations and Applied Logic
• Petri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of reso... Lees meer

Concise Guide to Fault Tree Analysis

Mariëlle Stoelinga, Enno Ruijters, Pavel Krčál

• Hardcover | Engels | Computer Science Foundations and Applied Logic
• Fault tree analysis is key tool in risk analysis. It is a widely used industry standard with applications in amongst others, the aerospace, automotive... Lees meer

Guide to Software Verification with Frama-C

• Hardcover | Engels | Computer Science Foundations and Applied Logic
• Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial... Lees meer

Category Theory Using Haskell

Shuichi Yukita

• Hardcover | Engels | Computer Science Foundations and Applied Logic
• This unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 1950... Lees meer

Simple Type Theory

William M Farmer

• Paperback | Engels | Computer Science Foundations and Applied Logic
• 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 reas... Lees meer

Simple Type Theory

William M Farmer

• Hardcover | Engels | Computer Science Foundations and Applied Logic
• 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 ... Lees meer

Structural Decision Diagrams in Digital Test

Raimund Ubar, Jaan Raik, Maksim Jenihhin, Artur Jutman

• Paperback | Engels | Computer Science Foundations and Applied Logic
• 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 repre... Lees meer

Algorithms for Constructing Computably Enumerable Sets

Kenneth J Supowit

• Paperback | Engels | Computer Science Foundations and Applied Logic
• Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques ... Lees meer