NuSMV: Symbolic Model Verification, Checker, Open Source

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

1/1

Priser från

383,98

Utvalda

	383,98 kr	Til butik
	383,98 kr	Til butik

Beskrivning

Amazon NuSMV: Symbolic Model Verification, Model Checker, Open Source

Läs mer

Jämför webbutiker (2)

Shop

Pris

383,98 kr

Til butik

383,98 kr

Til butik

Beskrivning (1)

NuSMV: Symbolic Model Verification, Model Checker, Open Source

Läs mer

Märke	OmniScriptum
EAN	9786131944079

Priser uppdaterades senast: 18-06-2026, 17:31

OmniScriptum

Professional Open- Source: Business Model, Source Software, Linux

StudioCanal

Open Source

StudioCanal

Open Source

Independently Published

The Open Source

Utvalt Val

383,98 kr

Til butik