Libdmc: Model Checking, Abstraction List of Checking Tools

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

1/1

Prices from

108.41

Featured

Description

Libdmc: Model Checking, Abstraction List of Checking Tools

Compare webshops (2)

Sort by:

€ 108.41

Description (0)

Libdmc: Model Checking, Abstraction List of Checking Tools

Brand	OmniScriptum
EAN	9786133514942

OmniScriptum

CHESS Model Checker: Checker, Checking, Abstraction Checking

OmniScriptum

ChecKing: Software Development Process, List of Tools For Static Code Analysis, Analysis

CRIMSON

Checking Out of London

Independently Published

Checking Out