Temporal Logic: Logic, Modal Computer Science, Principle of Bivalence, Formal Verification, Linear Computation Tree Model Checking, Logical Connective

Prices from
108.41

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

Temporal Logic: Logic, Modal Computer Science, Principle of Bivalence, Formal Verification, Linear Computation Tree Model Checking, Logical Connective

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

€ 108.41

€ 108.41

Description (0)

Temporal Logic: Logic, Modal Computer Science, Principle of Bivalence, Formal Verification, Linear Computation Tree Model Checking, Logical Connective

Product specifications

Brand Betascript Publishers
EAN
  • 9786130349707

Betascript Publishers

Temporal Logic in Finite-State Verification: Verification, Model Checking, Finite- State Machine, Linear...

€ 127.10
Compare 2 stores 2 stores

Independently Published

MODEL CHECKING and SYSTEM VERIFICATION: Temporal Logic State Space Exploration Automated Reasoning...

€ 11.98
Compare 2 stores 2 stores

OmniScriptum

Computational Semiotics: Logic, Theory of computation, Computer programming, science, Natural language, Formal Cognitive Semiotics

€ 127.10
Compare 2 stores 2 stores

OmniScriptum

Rules of Passage (Logic): Mathematical Logic, Quantifier, Logical Connective, Prenex Normal Form, Biconditional

€ 145.79
Compare 2 stores 2 stores
Featured Choice
€ 108.41
To Shop