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

Prices from
127.10

Featured

COMPARE ALL WEBSHOPS (2)

Description

Amazon Pages: 88, Paperback, Betascript Publishers
Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Shop
Price
Amazon Logo
€ 127.10
To Shop
Amazon Marketplace Logo
€ 127.10
To Shop
Description (1)

Pages: 88, Paperback, Betascript Publishers

Product specifications

Brand Betascript Publishers
EAN
  • 9786130527013

Independently Published

FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

€ 11.16
Compare 2 stores 2 stores

Independently Published

Testing & Verification: Voltage Verification

€ 8.60
Compare 2 stores 2 stores

Betascript Publishers

Program Refinement: Formal Methods, Verification, Specification, Executable Program, Stepwise Refinement, Implication

€ 108.41
Compare 2 stores 2 stores

Betascript Publishers

X - Machine: Computation, Samuel Eilenberg, Finite State Machine, Relation (Mathematics), Formal...

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