Libdmc: Model Checking, Abstraction List of Checking Tools

Name: Libdmc: Model Checking, Abstraction List of Checking Tools
Brand: OmniScriptum
SKU: 183ce7956de7de976bf97c43c8d476aa

1/1

Prezzi da

112,75

In evidenza

Descrizione

Libdmc: Model Checking, Abstraction List of Checking Tools

Confronta i webshop (2)

Shop

Prezzo

112,75 €

Vai allo shop

112,75 €

Vai allo shop

Descrizione (0)

Libdmc: Model Checking, Abstraction List of Checking Tools

Marchio	OmniScriptum
EAN	9786133514942

OmniScriptum

CHESS Model Checker: Checker, Checking, Abstraction Checking

Springer-Nature New York Inc

Handbook of Model Checking

The MIT Press

Principles of Model Checking

OmniScriptum

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