Independently Published

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

Name: AUTOMATED REASONING IN COMPUTER SCIENCE: SAT Solving Constraint Systems Symbolic Methods Logical Inference and Intelligent Verification
Brand: Independently Published
SKU: 94dbd751d7f42f5209b92c2fe68794ee

1/1

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

Amazon

Prijzen vanaf

11,79

Uitgelicht

	11,79	Naar shop
	11,79	Naar shop
VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

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

Vergelijk aanbieders (2)

Sorteren op:

€ 11,79 Gratis verzending

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 10471 Critical Systems: Formal Methods and Automated Verification

49,04

Meer informatie Meer info

Lecture Notes in Computer Science 9933 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

SpringerBriefs in Intelligent Systems Constraint Solving and Planning with Picat

52,99

Meer informatie Meer info

Uitgelichte Keuze

11,79

Naar shop

Populair nu

Categorieën

Populaire categorieën

Merken

Verkopers

Populaire categorieën

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

Beschrijving

Productspecificaties