CHESS Model Checker: Checker, Checking, Abstraction Checking

Prijzen vanaf
95,35

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

CHESS Model Checker: Checker, Checking, Abstraction Checking

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Shop
Prijs
Verzendkosten
Totale prijs
Amazon Logo
95,35
Gratis
95,35
Naar shop
Gratis Shipping Costs
Amazon Marketplace Logo
95,35
Gratis
95,35
Naar shop
Gratis Shipping Costs
Beschrijving (0)

CHESS Model Checker: Checker, Checking, Abstraction Checking

Productspecificaties

Merk OmniScriptum
EAN
  • 9786133282483

Abstraction Refinement for Large Scale Model Checking

105,00
Meer informatie Meer info

Model Checking

27,00
Meer informatie Meer info

OmniScriptum

model Checking: Logic in computer science, Deadlock, Crash (computing), Algorithm, Logic, Structure...

38,31
Vergelijk 2 shops 2 shops

Model Checking Software

46,99
Meer informatie Meer info
Uitgelichte Keuze
95,35
Naar shop