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

Prijzen vanaf
41,40

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

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

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Sorteren op:

€ 41,40

€ 41,40

Beschrijving (0)

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

Productspecificaties

Merk Betascript Publishers
EAN
  • 9786130527013

Betascript Publishers

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

26,94
Vergelijk 2 shops 2 shops

Automatic Verification Methods for Finite State Systems

46,99
Meer informatie Meer info

Independently Published

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

12,82
Vergelijk 2 shops 2 shops
-7%

Logic Synthesis and Verification

141,99
Meer informatie Meer info
Uitgelichte Keuze
41,40
Naar shop