NuSMV: Symbolic Model Verification, Checker, Open Source

Name: NuSMV: Symbolic Model Verification, Checker, Open Source
Brand: OmniScriptum
SKU: c678075aaae8c5c407d1bd6a412f3305

1/1

Prijzen vanaf

35,24

Uitgelicht

Beschrijving

NuSMV: Symbolic Model Verification, Checker, Open Source

Vergelijk aanbieders (2)

Sorteren op:

€ 35,24 Gratis verzending

Beschrijving (0)

NuSMV: Symbolic Model Verification, Checker, Open Source

Merk	OmniScriptum
EAN	9786131944079

Open Source Spelling Checker for Kimeru Language

OmniScriptum

Flat File Checker: Open Source, Database, GUI

Symbolic Algebraic Methods and Verification

Scalable Hardware Verification with Symbolic Simulation

Uitgelichte Keuze

35,24

Naar shop