AUTOMATED REASONING IN COMPUTER SCIENCE: SAT Solving Constraint Systems Symbolic Methods Logical Inference and Intelligent Verification

Prijzen vanaf
11,90

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

AUTOMATED REASONING IN COMPUTER SCIENCE: SAT Solving Constraint Systems Symbolic Methods Logical Inference and Intelligent Verification

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Sorteren op:

€ 11,90

€ 11,90

Beschrijving (0)

AUTOMATED REASONING IN COMPUTER SCIENCE: SAT Solving Constraint Systems Symbolic Methods Logical Inference and Intelligent Verification

Productspecificaties

Merk Independently Published
EAN
  • 9798194154524

Lecture Notes in Computer Science 9933 Critical Systems: Formal Methods and Automated Verification

48,99
Meer informatie Meer info

Lecture Notes in Computer Science 10471 Critical Systems: Formal Methods and Automated Verification

48,99
Meer informatie Meer info

Critical Systems: Formal Methods and Automated Verification

47,99
Meer informatie Meer info

Symbolic Computation and Automated Reasoning

74,08
Meer informatie Meer info
Uitgelichte Keuze
11,90
Naar shop