MODEL CHECKING and SYSTEM VERIFICATION: Temporal Logic State Space Exploration Automated Reasoning Correctness Analysis for Complex Systems

Prijzen vanaf
12,82

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

MODEL CHECKING and SYSTEM VERIFICATION: Temporal Logic State Space Exploration Automated Reasoning Correctness Analysis for Complex Systems

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Sorteren op:

€ 12,82

€ 12,82

Beschrijving (0)

MODEL CHECKING and SYSTEM VERIFICATION: Temporal Logic State Space Exploration Automated Reasoning Correctness Analysis for Complex Systems

Productspecificaties

Merk Independently Published
EAN
  • 9798194158980

Betascript Publishers

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

41,40
Vergelijk 2 shops 2 shops

Temporal Logic and State Systems

78,99
Meer informatie Meer info

Automated Technology for Verification and Analysis

47,99
Meer informatie Meer info

Fundamentals of Logic and Computation: With Practical Automated Reasoning Verification

56,99
Meer informatie Meer info
Uitgelichte Keuze
12,82
Naar shop