Libdmc: Model Checking, Abstraction List of Checking Tools

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

1/1

Prijzen vanaf

36,89

Gesponsorde links

Beschrijving

Libdmc: Model Checking, Abstraction List of Checking Tools

Vergelijk aanbieders (2)

Gesponsorde links · Sommige shops betalen ons een vergoeding

Sorteren op:

€ 36,89 Gratis verzending

Beschrijving (0)

Libdmc: Model Checking, Abstraction List of Checking Tools

Merk	OmniScriptum
EAN	9786133514942

OmniScriptum

CHESS Model Checker: Checker, Checking, Abstraction Checking

-4%

Abstraction Refinement for Large Scale Model Checking

Model Checking

The MIT Press

Principles Of Model Checking

Uitgelichte Keuze

36,89

Naar shop