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)

Shop

Price

€ 108.41

To Shop

€ 108.41

To Shop

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

(1)

Dimensions

DIMENSIONS 8645 Checking HIS List, Multi Colour