Temporal Logic in Finite-State Verification: Verification, Model Checking, Finite- State Machine, Linear Logic, Requirements, Formal Methods, Verification

Prices from
127.10

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

Temporal Logic in Finite-State Verification: Verification, Model Checking, Finite- State Machine, Linear Logic, Requirements, Formal Methods, Verification

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:

€ 127.10

€ 127.10

Description (0)

Temporal Logic in Finite-State Verification: Verification, Model Checking, Finite- State Machine, Linear Logic, Requirements, Formal Methods, Verification

Product specifications

Brand Betascript Publishers
EAN
  • 9786130527013

Betascript Publishers

Temporal Logic: Logic, Modal Computer Science, Principle of Bivalence, Formal Verification, Linear...

€ 108.41
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

Independently Published

Heat Transfer Analysis, Computation, and Verification: A Finite-Volume Approach with Python

€ 110.42
Compare 2 stores 2 stores

Independently Published

Heat Transfer Analysis, Computation, and Verification: A Finite-Volume Approach with Python

€ 119.33
Compare 2 stores 2 stores
Featured Choice
€ 127.10
To Shop