Temporal Logic: Logic, Modal Computer Science, Principle of Bivalence, Formal Verification, Linear Computation Tree Model Checking, Logical Connective

Prijzen vanaf
26,94

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

Temporal Logic: Logic, Modal Computer Science, Principle of Bivalence, Formal Verification, Linear Computation Tree Model Checking, Logical Connective

Vergelijk aanbieders (2)

Sorteren op:

€ 26,94 Gratis verzending

€ 26,94 Gratis verzending

Beschrijving (0)

Temporal Logic: Logic, Modal Computer Science, Principle of Bivalence, Formal Verification, Linear Computation Tree Model Checking, Logical Connective


Productspecificaties

Merk Betascript Publishers
EAN
  • 9786130349707

Uitgelichte Keuze
26,94
Naar shop