CHESS Model Checker: Checker, Checking, Abstraction Checking

Name: CHESS Model Checker: Checker, Checking, Abstraction Checking
Brand: OmniScriptum
SKU: b0387921812d844c6ac92f47bb08fedd

1/1

Prezzi da

132,18

In evidenza

Descrizione

CHESS Model Checker: Checker, Checking, Abstraction Checking

Confronta i webshop (2)

Shop

Prezzo

132,18 €

Vai allo shop

132,18 €

Vai allo shop

Descrizione (0)

CHESS Model Checker: Checker, Checking, Abstraction Checking

Marchio	OmniScriptum
EAN	9786133282483

OmniScriptum

Libdmc: Model Checking, Abstraction List of Checking Tools

OmniScriptum

SLAM Project: Microsoft Research, Windows Driver Foundation, Abstraction Model Checking

Springer

Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems) (English Edition)

Springer-Nature New York Inc

Handbook of Model Checking