OmniScriptum

model Checking: Logic in computer science, Deadlock, Crash (computing), Algorithm, Logic, Structure (mathematical logic), Propositional calculus, ... CADP, CHIC (electronics), CHESS checker

Name: model Checking: Logic in computer science, Deadlock, Crash (computing), Algorithm, Logic, Structure (mathematical logic), Propositional calculus, ... CADP, CHIC (electronics), CHESS checker
Brand: OmniScriptum
SKU: 0891e80460dbcea5d9b9fc4410e84291

1/1

Image of model Checking: Logic in computer science, Deadlock, Crash (computing), Algorithm, Logic, Structure (mathematical logic), Propositional calculus, ... CADP, CHIC (electronics), CHESS checker

Amazon Marketplace

Prices from

127.10

Description

model Checking: Logic in computer science, Deadlock, Crash (computing), Algorithm, Logic, Structure (mathematical logic), Propositional calculus, ... CADP, CHIC (electronics), CHESS checker

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

€ 127.10

Description (0)

model Checking: Logic in computer science, Deadlock, Crash (computing), Algorithm, Logic, Structure (mathematical logic), Propositional calculus, ... CADP, CHIC (electronics), CHESS checker